The second incompleteness theorem and bounded interpretations

DOI10.1007/s11225-012-9385-zzbMath1260.03109MaRDI QIDQ454368

Albert Visser

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9385-z

zbMATH Keywords

interpretability; second incompleteness theorem

Mathematics Subject Classification ID

03F40: Gödel numberings and issues of incompleteness

03F25: Relative consistency and interpretations

Related Items

Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories, Franco Montagna's work on provability logic and many-valued logic

Cites Work

• Unnamed Item
• Unnamed Item
• On the provability logic of bounded arithmetic
• Pairs, sets and sequences in first-order theories
• On the scheme of induction for bounded arithmetic formulas
• The computational complexity of logical theories
• The role of quantifier alternations in cut elimination
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Arithmetization of metamathematics in a general setting
• Cuts, consistency statements and interpretations
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Computer Science Logic
• Axiomatizability by a schema
• Decidability of the theory of the natural integers with the Cantor pairing function and the successor