ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2013, ТОМ 18, ВЫПУСК 1, СТР. 35-44

Пример двух кардиналов, эквивалентных в логике $n$-го порядка и не эквивалентных в логике $(n+1)$-го порядка

В. А. Брагин
Е. И. Бунина

Аннотация

Посмотреть как HTML    Посмотреть как рисунок

В работе доказано, что свойство двух моделей быть эквивалентными в логике $n$-го порядка выразимо в логике $(n+1)$-го порядка. Приведён "пример" (неявный) двух эквивалентных в логике $n$-го порядка и не эквивалентных в логике $(n+1)$-го порядка кардинальных чисел.

Полнотекстовая версия статьи в формате PDF (132 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k13/k131/k13103h.htm
Изменения вносились 6 сентября 2013 г.