RUS  ENG
Full version
JOURNALS // Journal of Logic and Computation // Archive

J. Logic Comput., 2023, Pages 1–13 (Mi jlc6)

This article is cited in 3 papers

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

Received: 17.07.2022

Language: English

DOI: 10.1093/logcom/exad005



© Steklov Math. Inst. of RAS, 2024