Фундаментальная и прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Фундаментальная и прикладная математика, 2013, том 18, выпуск 1, страницы 35–44 (Mi fpm1486)  
Пример двух кардиналов, эквивалентных в логике $n$-го порядка и не эквивалентных в логике $(n+1)$-го порядка

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

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (131 kB)
Список литературы:
PDF
HTML
Аннотация: В работе доказано, что свойство двух моделей быть эквивалентными в логике $n$-го порядка выразимо в логике $(n+1)$-го порядка. Приведён “пример” (неявный) двух эквивалентных в логике $n$-го порядка и не эквивалентных в логике $(n+1)$-го порядка кардинальных чисел.
Ключевые слова: языки высших порядков, эквивалентность в логике $n$-го порядка, кардиналы.
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2014, Volume 201, Issue 4, Pages 431–437
DOI: https://doi.org/10.1007/s10958-014-2002-0
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.67+512.563+512.54
Образец цитирования: В. А. Брагин, Е. И. Бунина, “Пример двух кардиналов, эквивалентных в логике $n$-го порядка и не эквивалентных в логике $(n+1)$-го порядка”, Фундамент. и прикл. матем., 18:1 (2013), 35–44; J. Math. Sci., 201:4 (2014), 431–437
Цитирование в формате AMSBIB
\RBibitem{BraBun13}
\by В.~А.~Брагин, Е.~И.~Бунина
\paper Пример двух кардиналов, эквивалентных в~логике $n$-го порядка и не эквивалентных в~логике $(n+1)$-го порядка
\jour Фундамент. и прикл. матем.
\yr 2013
\vol 18
\issue 1
\pages 35--44
\mathnet{http://mi.mathnet.ru/fpm1486}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3431762}
\transl
\jour J. Math. Sci.
\yr 2014
\vol 201
\issue 4
\pages 431--437
\crossref{https://doi.org/10.1007/s10958-014-2002-0}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84906091076}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm1486
  • https://www.mathnet.ru/rus/fpm/v18/i1/p35
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:311
    PDF полного текста:131
    Список литературы:32
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024