The following pages link to Borel determinacy (Q1229718):
Displaying 50 items.
- A game theoretic analysis of the cops and robber game (Q258742) (← links)
- On values of repeated games with signals (Q259588) (← links)
- On concurrent games with payoff (Q265795) (← links)
- The challenge of non-zero-sum stochastic games (Q267089) (← links)
- The bi-embeddability relation for finitely generated groups. II (Q283098) (← links)
- On ultralimits of sparse graph classes (Q286118) (← links)
- Guessing, mind-changing, and the second ambiguous class (Q286700) (← links)
- On refinements of subgame perfect \(\epsilon\)-equilibrium (Q328545) (← links)
- Game semantics for non-monotonic intensional logic programming (Q345702) (← links)
- Topological extension of parity automata (Q388217) (← links)
- Alternating traps in Muller and parity games (Q389948) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Groups, graphs, languages, automata, games and second-order monadic logic (Q444388) (← links)
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Asset market games of survival: a synthesis of evolutionary and dynamic games (Q470650) (← links)
- Polynomial-time algorithms for energy games with special weight structures (Q487011) (← links)
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games (Q520343) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Operators on \(L_{p}\) \((2<p<\infty)\) which factor through \(X_{p}\) (Q529383) (← links)
- Pursuit-evasion games with incomplete information in discrete time (Q532679) (← links)
- Infinite sequential games with perfect but incomplete information (Q548061) (← links)
- A game-theoretic characterization of Boolean grammars (Q631778) (← links)
- Small subspaces of \(L_p\) (Q640741) (← links)
- The Friedman embedding theorem. (Q645257) (← links)
- Generating counterexamples for quantitative safety specifications in probabilistic B (Q652160) (← links)
- Games for the \(\mu\)-calculus (Q671352) (← links)
- Counting branches in trees using games (Q729823) (← links)
- Surrealist landscape with figures (a survey of recent results in set theory) (Q754865) (← links)
- Structure of constituents of \(\Pi^ 1_ 1\)-sets (Q787969) (← links)
- Constructions of many complicated uncountable structures and Boolean algebras (Q800910) (← links)
- Backtracking games and inflationary fixed points (Q817842) (← links)
- Games with winning conditions of high Borel complexity (Q817850) (← links)
- On the positional determinacy of edge-labeled games (Q818128) (← links)
- Mathematics as a quasi-empirical science (Q850486) (← links)
- Games with secure equilibria (Q854165) (← links)
- Strongly unbounded and strongly dominating sets of reals generalized (Q892136) (← links)
- Minimal collapsing extensions of models of ZFC (Q914664) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Strategy logic (Q979080) (← links)
- Martin's conjecture and strong ergodicity (Q1042438) (← links)
- How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
- Alternation and \(\omega\)-type Turing acceptors (Q1088417) (← links)
- Theories of pursuit and evasion (Q1090270) (← links)
- The axiom of determinacy and the modern development of descriptive set theory (Q1097880) (← links)
- Alternating automata on infinite trees (Q1098325) (← links)
- Mathematical problems and games (Q1101091) (← links)
- Selctive ultrafilters and homogeneity (Q1105590) (← links)
