scientific article; zbMATH DE number 3993574
From MaRDI portal
Publication:4722064
zbMath0614.03048MaRDI QIDQ4722064
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (31)
On Borel ideals ⋮ Alternating automata on infinite trees ⋮ Descriptive set theory, from Cantor to Wadge and beyond ⋮ An extension of Borel determinacy ⋮ Compact covering and game determinacy ⋮ Equivalence relations and determinacy ⋮ Determinacy in third order arithmetic ⋮ CONSTRUCTING WADGE CLASSES ⋮ Robust worst cases for parity games algorithms ⋮ Reasoning About Strategies ⋮ WAYS OF DESTRUCTION ⋮ Alternating (in)dependence-friendly logic ⋮ A combinatorial property of Fréchet iterated filters ⋮ A variational principle in the parametric geometry of numbers ⋮ Reasoning about graded strategy quantifiers ⋮ Groups, graphs, languages, automata, games and second-order monadic logic ⋮ Unnamed Item ⋮ Deductive verification of alternating systems ⋮ Solving parity games via priority promotion ⋮ On the intersection conjecture for infinite trees of matroids ⋮ Gurevich-Harrington's games defined by finite automata ⋮ Pursuit-evasion games with incomplete information in discrete time ⋮ Computer science and the fine structure of Borel sets ⋮ Four and more ⋮ Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies ⋮ CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY ⋮ Wadge-Wagner hierarchies ⋮ Unraveling \(\boldsymbol\Pi_1^1\) sets ⋮ Effective randomness for continuous measures ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics ⋮ DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES
This page was built for publication:
