scientific article; zbMATH DE number 3215740

Cited in

(42)

Theories of pursuit and evasion
The axiom of determinacy and the modern development of descriptive set theory
Lower bounds on degrees of game-theoretic structures
Infinite games on finitely coloured graphs with applications to automata on infinite trees
Infinite games played on finite graphs
Local coherence.
Turing determinacy and the continuum hypothesis
Polynomial games and determinacy
Large cardinals, inner models, and determinacy: an introductory overview
Complexity of winning strategies
Determinacy and monotone inductive definitions
Homogeneity for Open Partitions of Pairs of Reals
Determinacy of adversarial Gowers games
The open dihypergraph dichotomy and the second level of the Borel hierarchy
On infinitary finite length codes
Sequential mappings of \omega -languages
Topological extension of parity automata
The Theory of Countable Analytical Sets
On a Notion of Smallness for Subsets of the Baire Space
Fractals, dimension, and formal languages
Groups, graphs, languages, automata, games and second-order monadic logic
The Ideal Determined by the Unsymmetric Game
CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
GAMES AND INDUCTION ON REALS
Full-splitting Miller trees and infinitely often equal reals
Implications of very large cardinals
On Badly Approximable Numbers and Certain Games
The complexity of recursion theoretic games
Provably _1 games
Baire spaces and infinite games
Determinacy and regularity properties for idealized forcings
An undecidable extension of Morley's theorem on the number of countable models
Determinacy axioms and large cardinals
On traditional Menger and Rothberger variations
Determinacy on the edge of second-order arithmetic. I
Gurevich-Harrington's games defined by finite automata
Positionality in ^0_2 and a completeness result
Translation results for some selection games with minimal cusco maps
Positionality in _0² and a completeness result
Projection lemmas for -languages
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 Q5342877)