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

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

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






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


Journal of Logic and Computation, 2023, страницы 1–13
DOI: https://doi.org/10.1093/logcom/exad005
(Mi jlc6)
 

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

There are no minimal essentially undecidable theories

Juvenal Murwanashyakaa, Fedor Pakhomovbc, Albert Visserd

a Department of Mathematics, the Faculty of Mathematics and Natural Sciences, University of Oslo, Moltke Moes vei 35, Niels Henrik Abels hus, 0851 Oslo, Norway.
b Vakgroep Wiskunde: Analysis, Logic and Discrete Mathematics, Ghent University, Krijgslaan 281, B9000 Ghent, Belgium
c Steklov Mathematical Institute of Russian Academy of Sciences, Gubkina 8, 119991 Moscow, Russia
d Philosophy, Faculty of Humanities, Utrecht University, Janskerkhof 13, 3512BL Utrecht, The Netherlands
Финансовая поддержка Номер гранта
Fonds Wetenschappelijk Onderzoek G0F8421N
Research of Fedor Pakhomov was supported by FWO (G0F8421N).
Поступила в редакцию: 17.07.2022
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/jlc6
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:17
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024