Archive for Mathematical Logic
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

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

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






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


Arch. Math. Logic, 2020, том 59, страницы 979–996 (Mi aml3)  

Local reflection, definable elements and 1-provability

Evgeny Kolmakovab

a Lomonosov Moscow State University, Moscow, Russia
b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 19-31-90050
The reported study was funded by RFBR, project number 19-31-90050.


DOI: https://doi.org/10.1007/s00153-020-00732-9


Реферативные базы данных:

Тип публикации: Статья
Поступила в редакцию: 15.07.2019
Принята в печать:18.03.2020
Язык публикации: английский

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/aml3

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:6
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022