𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Complex analysis in subsystems of second order arithmetic

✍ Scribed by Keita Yokoyama

Publisher
Springer
Year
2006
Tongue
English
Weight
306 KB
Volume
46
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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