Как описать все модели предложения $%(\forall y)(f(y)\ne 0)\\ \land(\forall z)(z\ne 0\to (\exists y)(f(y)=z))\\ \land(\forall z)(\forall y)(f(z)=f(y)\to z=y)$% ?

Две модели даны в предыдущем вопросе.

задан 7 Дек '19 23:09

Не знаю, возможен ли тут содержательный ответ. Есть множество A (бесконечное) с элементом 0 и дана биекция A на A \ {0} (почему множество должно быть бесконечным). Это даёт модель. Но таких моделей слишком много, то есть это малосодержательное описание. А другого вроде как и нет.

(7 Дек '19 23:52) falcao

А неформальное описание в качестве (возможно, бесконечного) списка картинок как по ссылке тоже дать нельзя?

(8 Дек '19 0:01) logic

@logic: если бы тут было счётное число серий, то можно было бы говорить о более ясном описании. Но тут моделей так много (для любого бесконечного множества их куча), что их класс не имеет даже мощности.

(8 Дек '19 1:37) falcao

А нельзя ли сказать, что любая модель - дизъюнктное объединение (возможно бесконечного числа) картинок вида a(0)->a(1)->... и ... b(-n)->...->b(0)->...b(n)->..., такое что в объединении обязательно присутствует картинка первого вида?

(11 Дек '19 9:03) logic

@logic: да, если сказанное уточнить (добавив, что объединение "орбит" даёт всё множество A), то должно быть верно.

(11 Дек '19 10:42) falcao

Объединение каких "орбит" дает множество А? (Пока не вижу, что это может значить и зачем это нужно)

(11 Дек '19 20:13) logic
показано 5 из 6 показать еще 1
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×824

задан
7 Дек '19 23:09

показан
42 раза

обновлен
11 Дек '19 20:13

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru