Analytic perturbation preserves determinacy of infinite index
نویسندگان
چکیده
منابع مشابه
Half-Positional Determinacy of Infinite Games
We study infinite games where one of the players always has a positional (memory-less) winning strategy, while the other player may use a historydependent strategy. We investigate winning conditions which guarantee such a property for all arenas, or all finite arenas. We establish some closure properties of such conditions, which give rise to the XPS class of winning conditions, and discover so...
متن کاملMemoryless Determinacy of Infinite Parity Games: Another Simple Proof
The memoryless determinacy of infinite parity games was proven independently by Emerson and Jutla [1], and Mostowski [4], with various applications in computer science. Then Zielonka [5] provided an elegant and simple argument. Several simpler proofs can be found in the literature in the case where the underlying graph is finite. These proofs usually proceed by induction on the number of releva...
متن کاملAnalytic Perturbation of Generalized Inverses
We investigate the analytic perturbation of generalized inverses. Firstly we analyze the analytic perturbation of the Drazin generalized inverse (also known as reduced resolvent in operator theory). Our approach is based on spectral theory of linear operators as well as on a new notion of group reduced resolvent. It allows us to treat regular and singular perturbations in a unified framework. W...
متن کاملThe Determinacy of Infinite Games with Eventual Perfect Monitoring
An infinite two-player zero-sum game with a Borel winning set, in which the opponent’s actions are monitored eventually but not necessarily immediately after they are played, admits a value. The proof relies on a representation of the game as a stochastic game with perfect information, in which Nature operates as a delegate for the players and performs the randomizations for them.
متن کاملDeterminacy in the Difference Hierarchy of Co-Analytic Sets
1 Abstract Equivalents have been established between the determinacy of games played at various intervals of the diierence hierarchy of co-analytical sets, with embeddings of inner models, by the work of Martin. Taken together with a theorem of Harrington, these yield a strictly level-by-level description for most levels. We complete this analysis by establishing suitable equivalences for the r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICA SCANDINAVICA
سال: 2000
ISSN: 1903-1807,0025-5521
DOI: 10.7146/math.scand.a-14294