Weak Arithmetics and Kripke Models

Mathematical Logic Quarterly 48 (1):157-160 (2002)
Download Edit this record How to cite View on PhilPapers
In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a linear Kripke model deciding Δ0-formulas it is necessary and sufficient that the model be Σm-elementary. This implies that if a linear Kripke model forces PEMprenex, then it forces PEM. We also show that, for each n ≥ 1, iΦn does not prove ℋ(IΠn's are Burr's fragments of HA
PhilPapers/Archive ID
Upload history
Archival date: 2018-08-01
View other versions
Added to PP index

Total views
56 ( #54,778 of 64,195 )

Recent downloads (6 months)
5 ( #58,637 of 64,195 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.