malykh89 писал(а):
Является ли R^(n-1) и R^n элементарно эквивалентными как частично упорядоченные множества?
Конечно нет. Максимальная антицепь в

состоит ровно из

элементов. Этот факт легко записывается формулой первого порядка.
Добавлено спустя 2 минуты 58 секунд:Nerazumovskiy писал(а):
обясни пожалуста што ти имел ввиду, ато я непонимаю што ти вообще спрашиваеш
Объясняю за автора темы. Две модели называются элементарно эквивалентными, если их элементарные теории совпадают. Элементарная теория модели --- это множество предложений (формул без свободных переменных) первого порядка, истинных на этой модели.
Если не шаришь, то лучше не выпендривайся!

И сходи, что ли, на gramota.ru, выучи русский язык. Тут на форуме "олбанский" не приветствуется
