The following pages link to (Q5817866):
Displaying 50 items.
- The axiom of real Blackwell determinacy (Q1938402) (← links)
- Galvin's ``racing pawns'' game, internal hyperarithmetic comprehension, and the law of excluded middle (Q1949169) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Catch games: the impact of modeling decisions (Q2002066) (← links)
- Game characterizations and lower cones in the Weihrauch degrees (Q2011671) (← links)
- The uniform measure of simple regular sets of infinite trees (Q2029602) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- Descriptive set theory, from Cantor to Wadge and beyond (Q2148861) (← links)
- A semi-potential for finite and infinite games in extensive form (Q2175356) (← links)
- Finite-state strategies in delay games (Q2182729) (← links)
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
- A characterization of \(\Sigma_1^1\)-reflecting ordinals (Q2231693) (← links)
- Non-Archimedean game theory: a numerical approach (Q2244113) (← links)
- Dual selection games (Q2295645) (← links)
- Determinacy of games with stochastic eventual perfect monitoring (Q2347775) (← links)
- Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited (Q2382328) (← links)
- David Gale in Paris (Q2389279) (← links)
- ReGale: some memorable results (Q2389290) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Ordinal solution of open games and analytic sets (Q2431007) (← links)
- On the determinacy of concurrent games on event structures with infinite winning sets (Q2453582) (← links)
- An infinite-game semantics for well-founded negation in logic programming (Q2474440) (← links)
- Complexity of winning strategies (Q2554653) (← links)
- A game-theoretic equivalence to the Hahn-Banach theorem (Q2640469) (← links)
- Approximating the minimal lookahead needed to win infinite games (Q2671807) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- The determinacy of infinite games with eventual perfect monitoring (Q3093451) (← links)
- Homogeneity for Open Partitions of Pairs of Reals (Q3142091) (← links)
- Strategies in Games: A Logic-Automata Study (Q3166989) (← links)
- Weihrauch Degrees of Finding Equilibria in Sequential Games (Q3195703) (← links)
- Borel Games and the Baire Property (Q3312918) (← links)
- (Q3384169) (← links)
- (Q3384891) (← links)
- Symmetric Derivates, Scattered, and Semi-Scattered Sets (Q3478640) (← links)
- A Topological Study of Tilings (Q3502662) (← links)
- Facets of Synthesis: Revisiting Church’s Problem (Q3617717) (← links)
- A Game-Theoretic Characterization of Boolean Grammars (Q3637237) (← links)
- Infinite Games with Imperfect Information (Q4050414) (← links)
- (Q4117607) (← links)
- Cartesian Products of Metric Baire Spaces (Q4402992) (← links)
- Max Euwe's Set-Theoretic Observations on the Game of Chess — Introductory Notes (Q4598040) (← links)
- Degree Spectra of Relations on a Cone (Q4645836) (← links)
- Parallel strategies (Q4650280) (← links)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218) (← links)
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
- (Q5015282) (← links)
- When a relation with all Borel sections will be Borel somewhere? (Q5020719) (← links)
- SHORTENING CLOPEN GAMES (Q5021927) (← links)
- (Q5028456) (← links)
- Solving Infinite Games in the Baire Space (Q5038566) (← links)
