scientific article; zbMATH DE number 5241987
From MaRDI portal
Publication:5445176
zbMath1135.03023MaRDI QIDQ5445176
Publication date: 3 March 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? ⋮ On \(\mathsf{Q}\) ⋮ Weak theories of concatenation and arithmetic ⋮ The scope of Gödel's first incompleteness theorem ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ FINDING THE LIMIT OF INCOMPLETENESS I ⋮ On interpretability between some weak essentially undecidable theories
This page was built for publication:
