𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Equivalence between Wadge and Lipschitz determinacy

✍ Scribed by Alessandro Andretta

Book ID
104307252
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
485 KB
Volume
123
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

✦ Synopsis

We prove that the determinacy of all Lipschitz games, the determinacy of all Wadge games, and the semi-linear ordering principle for Lipschitz maps are all equivalent.

πŸ“œ 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