There are no minimal essentially undecidable theories-Reference-Cited by-同舟云学术

There are no minimal essentially undecidable theories

Published:2023-03-18 Issue: Volume: Page:
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Murwanashyaka Juvenal¹,Pakhomov Fedor²,Visser Albert³

Affiliation:

1. Department of Mathematics, the Faculty of Mathematics and Natural Sciences, University of Oslo , Moltke Moes vei 35, Niels Henrik Abels hus, 0851 Oslo, Norway

2. Vakgroep Wiskunde: Analysis, Logic and Discrete Mathematics, Ghent University , Krijgslaan 281, B9000 Ghent, Belgium, and Steklov Mathematical Institute of Russian Academy of Sciences, Gubkina 8, 119991 Moscow, Russia

3. Philosophy, Faculty of Humanities, Utrecht University , Janskerkhof 13, 3512BL Utrecht, The Netherlands

Abstract

AbstractWe show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exad005/49556671/exad005.pdf

Reference16 articles.

1. Deduction-preserving “Recursive Isomorphisms” between theories;Boykan Pour-El;Fundamenta Mathematicæ,1967

2. There are no minimal effective inseparable theories;Cheng,2022

3. Degrees of unsolvability associated with classes of formalized theories;Feferman;The Journal of Symbolic Logic,1957

4. Model-theoretic methods in the study of elementary logic;Hanf,1965

5. Undecidability of some simple formalized theories;Janiczak;Fundamenta Mathematicæ,1953

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. 90 years of Gödel’s incompleteness theorems: Logic and computation;Journal of Logic and Computation;2024-05-28

2. Essential hereditary undecidability;Archive for Mathematical Logic;2024-03-01

3. There Are No Minimal Effectively Inseparable Theories;Notre Dame Journal of Formal Logic;2023-11-01

4. On the relationships between some meta-mathematical properties of arithmetical theories;Logic Journal of the IGPL;2023-09-04