Пример двух кардиналов, эквивалентных в логике n-ого порядка, но не эквивалентных в логике n+1-го порядкастатья
Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 5 июня 2017 г.
Аннотация:В работе доказано, что свойство двух моделей быть эквивалентными в логике n-го порядка выразимо в логике (n+1)-го порядка. Приведён "пример" (неявный) двух эквивалентных в логике n-го порядка и не эквивалентных в логике (n+1)-го порядка кардинальных чисел.