scientific article
From MaRDI portal
Publication:3464615
zbMath1358.03091MaRDI QIDQ3464615
Publication date: 27 January 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
coordinate-free characterizationglobal degrees of interpretabilitylocal degree of interpretabilityTarski-Mostowski-Robinson theory R
Related Items (14)
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES ⋮ Friedman-reflexivity ⋮ HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? ⋮ Extension and interpretability ⋮ Lewis meets Brouwer: constructive strict implication ⋮ On \(\mathsf{Q}\) ⋮ Recursive functions and existentially closed structures ⋮ The scope of Gödel's first incompleteness theorem ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ The Interpretation Existence Lemma ⋮ FINDING THE LIMIT OF INCOMPLETENESS I ⋮ Weak essentially undecidable theories of concatenation ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS ⋮ On interpretability between some weak essentially undecidable theories
This page was built for publication: