An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
From MaRDI portal
Publication:4008752
DOI10.2307/2275181zbMath0785.03008OpenAlexW2009558863MaRDI QIDQ4008752
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
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items
Kripke Models Built from Models of Arithmetic, Friedman-reflexivity, CONSISTENCY AND THE THEORY OF TRUTH, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Interpretability suprema in Peano arithmetic, Passive induction and a solution to a Paris-Wilkie open question, ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM, Interpretability degrees of finitely axiomatized sequential theories, On Wilkie and Paris’s notion of fullness, The second incompleteness theorem and bounded interpretations, Pairs, sets and sequences in first-order theories, Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories, Fixed point algebras, Faith \& falsity, The predicative Frege hierarchy, A generalization of the second incompleteness theorem and some exceptions to it, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\), The arithmetics of a theory, EQUIVALENCES FOR TRUTH PREDICATES
Cites Work
