✦ LIBER ✦

Subsystems of second-order arithmetic between RCA0and WKL0

✍ Scribed by Carl Mummert

Publisher: Springer
Year: 2008
Tongue: English
Weight: 161 KB
Volume: 47
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-008-0074-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complex analysis in subsystems of second

Complex analysis in subsystems of second order arithmetic

✍ Keita Yokoyama 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 306 KB

Determinacy of Wadge classes and subsyst

Determinacy of Wadge classes and subsystems of second order arithmetic

✍ Takako Nemoto 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 274 KB

## Abstract In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA~0~\*, which consists of

Riesz representation theorem, Borel meas

Riesz representation theorem, Borel measures and subsystems of second-order arithmetic

✍ Xiaokang Yu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 811 KB

Lebesgue numbers and Atsuji spaces in su

Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic

✍ Mariagnese Giusto; Alberto Marcone 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 210 KB

Countable valued fields in weak subsyste

Countable valued fields in weak subsystems of second-order arithmetic

✍ Kostas Hatzikiriakou; Stephen G. Simpson 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 358 KB

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\* ↔