Can We Make the Second Incompleteness Theorem Coordinate Free?

DOI10.1093/logcom/exp048zbMath1262.03123OpenAlexW2007738947MaRDI QIDQ3094141

Albert Visser

Publication date: 21 October 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/33636

zbMATH Keywords

interpretabilitysecond incompleteness theorem

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items

Vaught's Theorem on Axiomatizability by a Scheme, Friedman-reflexivity, Extension and interpretability, Finitely axiomatized theories lack self‐comprehension, ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM, The small‐is‐very‐small principle, Intermediate logics and the de Jongh property, A step towards absolute versions of metamathematical results, Transductions in arithmetic, Interpretability degrees of finitely axiomatized sequential theories, The second incompleteness theorem and bounded interpretations, Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories, Uniform density in Lindenbaum algebras, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, FINDING THE LIMIT OF INCOMPLETENESS I, ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS, The arithmetics of a theory, A note on typed truth and consistency assertions