scientific article; zbMATH DE number 3993574
From MaRDI portal
Publication:4722064
Recommendations
Cited in
(36)- Alternating automata on infinite trees
- On Borel ideals
- Unraveling _1¹ sets
- Reasoning about graded strategy quantifiers
- Solving parity games via priority promotion
- Compact covering and game determinacy
- On the intersection conjecture for infinite trees of matroids
- Wadge-Wagner hierarchies
- Descriptive set theory, from Cantor to Wadge and beyond
- Robust worst cases for parity games algorithms
- Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited
- Determinacy in third order arithmetic
- Four and more
- An extension of Borel determinacy
- Reasoning about strategies: on the model-checking problem
- scientific article; zbMATH DE number 6010992 (Why is no real title available?)
- scientific article; zbMATH DE number 7445162 (Why is no real title available?)
- Borel Classes and Closed Games: Wadge-Type and Hurewicz-Type Results
- A combinatorial property of Fréchet iterated filters
- Groups, graphs, languages, automata, games and second-order monadic logic
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY
- Equivalence relations and determinacy
- Constructing Wadge classes
- WAYS OF DESTRUCTION
- Pursuit-evasion games with incomplete information in discrete time
- Effective randomness for continuous measures
- Good-for-Game QPTL: An Alternating Hodges Semantics
- DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES
- Computer science and the fine structure of Borel sets
- Alternating (in)dependence-friendly logic
- A variational principle in the parametric geometry of numbers
- Gurevich-Harrington's games defined by finite automata
- Part 1 of Martin's conjecture for order-preserving and measure-preserving functions
- A formalization of Borel determinacy in Lean
- Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies
- Deductive verification of alternating systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4722064)
