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

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

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


Докл. РАН. Матем., информ., проц. упр.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Доклады Российской академии наук. Математика, информатика, процессы управления, 2022, том 505, страницы 5–10
DOI: https://doi.org/10.31857/S2686954322040038 (Mi danma268) 		 
МАТЕМАТИКА

Спектры консервативности и модель Йоостена–Фернандеса

Л. Д. Беклемишев

Математический институт им. В.А. Стеклова Российской академии наук, Москва, Россия
Список литературы:
PDF
HTML
DOI: https://doi.org/10.31857/S2686954322040038
Аннотация: Рассматривается обобщение понятия спектра консервативности арифметической теории на язык с трансфинитно итерированными определениями истинности. Установлено естественное соответствие между спектрами консервативности и точками специальной модели Крипке, введенной Д. Фернандесом–Дуке и Й. Йоостеном. Для итерированных схем рефлексии над теориями определений истинности установлены результаты о консервативности, аналогичные хорошо известным формулам Шмерля.
Ключевые слова: схема рефлексии, предикат истинности, консервативность.
Финансовая поддержка Номер гранта
Российский научный фонд 21-11-00318
Поступило: 24.03.2022
После доработки: 05.06.2022
Принято к публикации: 07.06.2022
Англоязычная версия:
Doklady Mathematics, 2022, Volume 106, Issue 1, Pages 213–217
DOI: https://doi.org/10.1134/S1064562422040032
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
Образец цитирования: Л. Д. Беклемишев, “Спектры консервативности и модель Йоостена–Фернандеса”, Докл. РАН. Матем., информ., проц. упр., 505 (2022), 5–10; Dokl. Math., 106:1 (2022), 213–217
Цитирование в формате AMSBIB
\RBibitem{Bek22}
\by Л.~Д.~Беклемишев
\paper Спектры консервативности и модель Йоостена--Фернандеса
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2022
\vol 505
\pages 5--10
\mathnet{http://mi.mathnet.ru/danma268}
\crossref{https://doi.org/10.31857/S2686954322040038}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4489401}
\elib{https://elibrary.ru/item.asp?id=49344488}
\transl
\jour Dokl. Math.
\yr 2022
\vol 106
\issue 1
\pages 213--217
\crossref{https://doi.org/10.1134/S1064562422040032}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma268
  • https://www.mathnet.ru/rus/danma/v505/p5
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
    Статистика просмотров:
    Страница аннотации:184
    Список литературы:28
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024