Essential hereditary undecidability

DOI10.1007/S00153-024-00911-YMaRDI QIDQ6565566zbMATH OpenFDO

Authors Albert Visser

Publication date 2 July 2024

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00153-024-00911-Y

zbMATH Keywords

interpretabilityformal theoriesessential hereditary undecidability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Cites work

• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1081433 (Why is no real title available?)
• scientific article; zbMATH DE number 3266604 (Why is no real title available?)
• scientific article; zbMATH DE number 3266620 (Why is no real title available?)
• scientific article; zbMATH DE number 3285224 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A generalized notion of weak interpretability and the corresponding modal logic
• Can we make the second incompleteness theorem coordinate free?
• Decidability and essential undecidability
• Deduction-preserving "Recursive Isomorphisms" between theories
• Degrees of formal systems
• Effectively extensible theories
• Elementary properties of Abelian groups
• Friedman-reflexivity
• GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
• On \(\mathsf{Q}\)
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
• The logic of linear tolerance
• There are no minimal essentially undecidable theories
• Turing computability. Theory and applications
• Undecidability of some simple formalized theories
• Undecidable theories
• Variants of Robinson's essentially undecidable theoryR
• Vaught's theorem on axiomatizability by a scheme
• Why the theory R is special

Cited in

(3)

• Mathematical developments of the incompleteness theorems
• Certified _1-sentences
• The limitless first incompleteness theorem

This page was built for publication: Essential hereditary undecidability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6565566)