Частичный порядок < называется фундированным, если невозможна бесконечная убывающая цепь x1 > x2 > . . . > xn > xn+1 > . . .. \ Докажите, что класс фундированных частичных порядков не является аксиоматизируемым.

задан 21 Дек '20 22:01

10|600 символов нужно символов осталось

Вопрос был закрыт. Причина - "Повтор вопроса". Закрывший - falcao 21 Дек '20 22:22

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

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

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

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

отмечен:

×2,167

задан
21 Дек '20 22:01

показан
352 раза

обновлен
21 Дек '20 22:01

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

по почте:

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

по RSS:

Ответы

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

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