An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP

DOI10.2307/2275181zbMATH Open0785.03008OpenAlexW2009558863MaRDI QIDQ4008752FDOQ4008752

Albert Visser

Publication date: 27 September 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275181

zbMATH Keywords

modal logicprovability logicinterpretability logicarithmetical interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the scheme of induction for bounded arithmetic formulas
• The formalization of interpretability
• Explicit fixed points in interpretability logic
• The logic of \(\Pi_ 1\)-conservativity

Cited In (20)

• Interpretability degrees of finitely axiomatized sequential theories
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• On Wilkie and Paris’s notion of fullness
• Faith \& falsity
• EQUIVALENCES FOR TRUTH PREDICATES
• CONSISTENCY AND THE THEORY OF TRUTH
• Friedman-reflexivity
• The second incompleteness theorem and bounded interpretations
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• Passive induction and a solution to a Paris-Wilkie open question
• The predicative Frege hierarchy
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
• Pairs, sets and sequences in first-order theories
• ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
• The arithmetics of a theory
• Kripke Models Built from Models of Arithmetic
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• A generalization of the second incompleteness theorem and some exceptions to it
• Fixed point algebras
• Interpretability suprema in Peano arithmetic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) 👍 👎
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic 👍 👎
• On the complexity of the closed fragment of Japaridze's provability logic 👍 👎
• A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential 👍 👎
• A self-contained provability calculus for \(\varGamma_0\) 👍 👎
• Between \(\mathrm{Int}_{\langle\omega,\omega\rangle}\) and intuitionistic propositional logic 👍 👎
• Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements 👍 👎

This page was built for publication: An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4008752)