𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Independence problems in subsystems of intuitionistic arithmetic

✍ Scribed by D. van Dalen; C.E. Gordon

Publisher
Elsevier Science
Year
1971
Weight
431 KB
Volume
74
Category
Article
ISSN
1385-7258

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Independence results for weak systems of
Independence results for weak systems of intuitionistic arithmetic
✍ Morteza Moniri πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## Abstract This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds

Infinite games in the Cantor space and s
Infinite games in the Cantor space and subsystems of second order arithmetic
✍ Takako Nemoto; MedYahya Ould MedSalem; Kazuyuki Tanaka πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 202 KB

## Abstract In this paper we study the determinacy strength of infinite games in the Cantor space and compare them with their counterparts in the Baire space. We show the following theorems: 1. RCA~0~ ⊒ $ \Delta^0\_1 $‐Det\* ↔ $ \Sigma^0\_1 $‐Det\* ↔ WKL~0~. 2. RCA~0~ ⊒ ($ \Sigma^0\_1 $)2‐Det\* ↔