An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
Author:
- 12 March 1992
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 57 (1) , 131-165
Abstract
In this paper I give a characterization of the closed fragment of the provability logic of I Δ0 + EXP with a propositional constant for EXP. In three appendices many details on arithmetization are provided.Keywords
This publication has 12 references indexed in Scilit:
- The formalization of InterpretabilityStudia Logica, 1991
- Explicit Fixed Points in Interpretability LogicStudia Logica, 1991
- The logic of π1-conservativityArchive for Mathematical Logic, 1990
- Bounded arithmetic and truth definitionAnnals of Pure and Applied Logic, 1988
- Arithmetically complete modal theories1987
- On the scheme of induction for bounded arithmetic formulasAnnals of Pure and Applied Logic, 1987
- Term graph rewriting1987
- ON MODAL LOGICS AXIOMATIZING PROVABILITYMathematics of the USSR-Izvestiya, 1986
- Some Prime Elements in the Lattice of Interpretability TypesTransactions of the American Mathematical Society, 1983
- Some prime elements in the lattice of interpretability typesTransactions of the American Mathematical Society, 1983