Эта публикация цитируется в 3 статьях

There are no minimal essentially undecidable theories

Juvenal Murwanashyaka^a, Fedor Pakhomov^bc, Albert Visser<sup>d

a</sup> 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

Поступила в редакцию: 17.07.2022

Язык публикации: английский

DOI: 10.1093/logcom/exad005