Why the theory R is special

zbMATHMaRDI QIDQ3464615FDO

Authors Albert Visser

Publication date 27 January 2016

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)

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

Cited in

(15)

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

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)