The following pages link to (Q4722064):
Displaying 33 items.
- A combinatorial property of Fréchet iterated filters (Q411828) (← links)
- Groups, graphs, languages, automata, games and second-order monadic logic (Q444388) (← links)
- Pursuit-evasion games with incomplete information in discrete time (Q532679) (← links)
- Gurevich-Harrington's games defined by finite automata (Q685082) (← links)
- Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies (Q752703) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Alternating automata on infinite trees (Q1098325) (← links)
- On Borel ideals (Q1341318) (← links)
- Unraveling \(\boldsymbol\Pi_1^1\) sets (Q1591205) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- Compact covering and game determinacy (Q1910715) (← links)
- On the intersection conjecture for infinite trees of matroids (Q1984511) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- Descriptive set theory, from Cantor to Wadge and beyond (Q2148861) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Determinacy in third order arithmetic (Q2404651) (← links)
- Four and more (Q2493901) (← links)
- An extension of Borel determinacy (Q2640595) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- (Q3118346) (← links)
- (Q3384167) (← links)
- Borel Classes and Closed Games: Wadge-Type and Hurewicz-Type Results (Q3801552) (← links)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218) (← links)
- Equivalence relations and determinacy (Q5081953) (← links)
- CONSTRUCTING WADGE CLASSES (Q5085860) (← links)
- WAYS OF DESTRUCTION (Q5100044) (← links)
- Effective randomness for continuous measures (Q5862176) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES (Q5879174) (← links)
- Computer science and the fine structure of Borel sets (Q5941255) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- A variational principle in the parametric geometry of numbers (Q6184562) (← links)
