The second incompleteness theorem and bounded interpretations
From MaRDI portal
Publication:454368
DOI10.1007/s11225-012-9385-zzbMath1260.03109MaRDI QIDQ454368
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
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, Friedman-reflexivity, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
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Δ0 + Ω1 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