More on Wadge determinacy
نویسنده
چکیده
We show that the semi-linear ordering principle for continuous functions implies the determinacy of all Wadge and Lipschitz games. c © 2006 Elsevier B.V. All rights reserved.
منابع مشابه
The Determinacy of Context-Free Games
We prove that the determinacy of Gale-Stewart games whose winning sets are accepted by realtime 1-counter Büchi automata is equivalent to the determinacy of (effective) analytic GaleStewart games which is known to be a large cardinal assumption. We show also that the determinacy of Wadge games between two players in charge of ω-languages accepted by 1-counter Büchi automata is equivalent to the...
متن کاملDeterminacy of Wadge classes in the Baire space and simple iteration of inductive definition
In [4], we introduced determinacy schemata motivated by Wadge classes in descriptive set theory. In this paper, we prove that a simple iteration of Σ1 inductive definition implies Sep(∆ 0 2,Σ 0 2) determinacy in the Baire space over RCA0.
متن کاملThe axiom of determinacy and the Wadge hierarchy
s for tutorials Alessandro Andretta, The axiom of determinacy and the Wadge hierarchy page 3 Martin Goldstern Real forcing page 3 Jouko Väänänen Set theory and model-theoretic logics page 4
متن کاملDeterminacy of Wadge classes and subsystems of second order arithmetic
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 RCA0, which consists of the axioms of discrete ordered semi-ring with exponentiation, ∆1 comprehension and Π 0 0 induction, and which is k...
متن کاملAntichains in the Wadge Order for Connected Spaces
For any non-totally disconnected Polish space, there is a family of c = 2א0 many Wadge incomparable finite level Borel subsets. If the space is additionally locally compact or locally connected, there is a family of 2 many Wadge incomparable subsets. In this note, we study the Wadge order for Polish spaces which are not totally disconnected. For a fixed Polish space, the Wadge order for the spa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 144 شماره
صفحات -
تاریخ انتشار 2006