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

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

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 \(\tau\) and \(\epsilon\) 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

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

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (23)

• Interpretability degrees of finitely axiomatized sequential theories
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Faith \& falsity
• Friedman-reflexivity
• Title not available (Why is that?)
• On the provability logic of bounded arithmetic
• 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
• Title not available (Why is that?)
• The predicative Frege hierarchy
• Pairs, sets and sequences in first-order theories
• Equivalences for truth predicates
• On Wilkie and Paris's notion of fullness
• 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
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Fixed point algebras
• Interpretability suprema in Peano arithmetic
• Another look at the second incompleteness theorem
• Consistency and the theory of truth

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)