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/2275181MaRDI QIDQ4008752zbMATH OpenOpenAlexFDO

Authors 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

arithmetical interpretationinterpretability logicmodal logicprovability logic

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)

Recommendations

• scientific article; zbMATH DE number 1735929
• A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential
• A self-contained provability calculus for \(\varGamma_0\)
• Hilbert's and in proof theory: a proof-theoretical representation of universal and existential statements
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• Between \(\mathrm{Int}_{\langle\omega,\omega\rangle}\) and intuitionistic propositional logic
• On the complexity of the closed fragment of Japaridze's provability logic
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
• scientific article; zbMATH DE number 1567881
• scientific article; zbMATH DE number 517072

Cites work

• Explicit fixed points in interpretability logic
• scientific article; zbMATH DE number 1032008 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• scientific article; zbMATH DE number 3353203 (Why is no real title available?)
• scientific article; zbMATH DE number 3027246 (Why is no real title available?)
• On the scheme of induction for bounded arithmetic formulas
• The formalization of interpretability
• The logic of \(\Pi_ 1\)-conservativity

Cited in

(24)

• Friedman-reflexivity
• The predicative Frege hierarchy
• The arithmetics of a theory
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Interpretability suprema in Peano arithmetic
• Interpretability degrees of finitely axiomatized sequential theories
• A generalization of the second incompleteness theorem and some exceptions to it
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• Consistency and the theory of truth
• Fixed point algebras
• Kripke Models Built from Models of Arithmetic
• scientific article; zbMATH DE number 1463092 (Why is no real title available?)
• The second incompleteness theorem and bounded interpretations
• On Wilkie and Paris's notion of fullness
• scientific article; zbMATH DE number 937377 (Why is no real title available?)
• Another look at the second incompleteness theorem
• Equivalences for truth predicates
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• On the provability logic of bounded arithmetic
• When bi-interpretability implies synonymy
• Faith \& falsity
• 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
• Pairs, sets and sequences in first-order theories

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)