ON A QUESTION OF KRAJEWSKI’S

DOI10.1017/jsl.2018.72zbMath1441.03010arXiv1712.01713OpenAlexW2962740782MaRDI QIDQ4628685

Albert Visser, Fedor N. Pakhomov

Publication date: 15 March 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1712.01713

zbMATH Keywords

interpretabilitypredicate logiclinear orderingsrecursively enumerable theories

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Other degrees and reducibilities in computability and recursion theory (03D30) Relative consistency and interpretations (03F25)

Related Items

The small‐is‐very‐small principle ⋮ AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theories of linear order
• On \(\mathsf{Q}\)
• Undecidable theories
• Relative Truth Definability of Axiomatic Truth Theories
• Finite Axiomatizability using additional predicates
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• The Interpretation Existence Lemma
• Infinitary logic and admissible sets