The Journal of Symbolic Logic

Research Article

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

Albert Visser

Department of Philosophy, University of Utrecht, 3508 TC Utrecht, The Netherlands

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.

(Received April 06 1989)

(Revised March 08 1991)