The second incompleteness theorem and bounded interpretations

DOI10.1007/S11225-012-9385-ZzbMath1260.03109OpenAlexW1980167452MaRDI 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

interpretabilitysecond incompleteness theorem

Mathematics Subject Classification ID

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

Related Items (4)

Franco Montagna's work on provability logic and many-valued logic ⋮ Friedman-reflexivity ⋮ The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

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

This page was built for publication: The second incompleteness theorem and bounded interpretations