Why the theory R is special

zbMATH Open1358.03091MaRDI QIDQ3464615FDOQ3464615

Authors: Albert Visser 

Publication date: 27 January 2016

Recommendations

• Interpreting true arithmetic in the theory of the r.e. truth table degrees
• Maximal theories
• A class of connected theories of order
• scientific article; zbMATH DE number 1045790
• The last question on recursively enumerable \(m\)-degrees

zbMATH Keywords

coordinate-free characterizationglobal degrees of interpretabilitylocal degree of interpretabilityTarski-Mostowski-Robinson theory R

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (15)

• Weak essentially undecidable theories of concatenation
• On interpretability between some weak essentially undecidable theories
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Essential hereditary undecidability
• On \(\mathsf{Q}\)
• Friedman-reflexivity
• Current research on Gödel's incompleteness theorems
• Extension and interpretability
• The scope of Gödel's first incompleteness theorem
• Recursive functions and existentially closed structures
• The interpretation existence lemma
• MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
• Lewis meets Brouwer: constructive strict implication
• How much propositional logic suffices for Rosser's essential undecidability theorem?
• Finding the limit of incompleteness. I

This page was built for publication: Why the theory R is special

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