Pages that link to "Item:Q1314543"
From MaRDI portal
The following pages link to Game-theoretic inductive definability (Q1314543):
Displaying 6 items.
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence (Q3094009) (← links)
- (Q4249025) (← links)
- X Latin American Symposium on Mathematical Logic (Q4897043) (← links)
- Finite high-order games and an inductive approach towards Gowers's dichotomy (Q5942883) (← links)
- Infinite Games, Inductive Definitions and Transfinite Recursion (Q6135562) (← links)