|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Пример двух кардиналов, эквивалентных в логике n-ого порядка, но не эквивалентных в логике n+1-го порядкастатья
Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 5 июня 2017 г.
- Авторы: Брагин В.А., Бунина Е.И.
- Журнал: Фундаментальная и прикладная математика
- Том: 18
- Номер: 1
- Год издания: 2013
- Издательство: Интуит
- Местоположение издательства: М.
- Первая страница: 35
- Последняя страница: 44
- Аннотация: В работе доказано, что свойство двух моделей быть эквивалентными в логике n-го порядка выразимо в логике (n+1)-го порядка. Приведён "пример" (неявный) двух эквивалентных в логике n-го порядка и не эквивалентных в логике (n+1)-го порядка кардинальных чисел.
- Добавил в систему: Бунина Елена Игоревна