✦ LIBER ✦

Fundamental notions of analysis in subsystems of second-order arithmetic

✍ Scribed by Jeremy Avigad; Ksenija Simic

Book ID: 108054587
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 523 KB
Volume: 139
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.03.004

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

Subsystems of second-order arithmetic be

Subsystems of second-order arithmetic between RCA0and WKL0

✍ Carl Mummert 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 161 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

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

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

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