𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Mariagnese Giusto; Alberto Marcone

Publisher
Springer
Year
1998
Tongue
English
Weight
210 KB
Volume
37
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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