The Game Quantifier

DOI10.2307/2038552zbMath0243.02035OpenAlexW4238042258MaRDI QIDQ5654033

Yiannis N. Moschovakis

Publication date: 1972

Full work available at URL: https://doi.org/10.2307/2038552

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

Related Items (4)

Differential Game Logic ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ GAMES AND REFLECTION IN ⋮ Comparing inductive and circular definitions: Parameters, complexity and games

Cites Work

• Unnamed Item
• The Suslin-Kleene theorem for countable structures
• Hierarchies of number-theoretic predicates
• Abstract First Order Computability. I
• Abstract Computability and Invariant Definability
• The next admissible set

This page was built for publication: The Game Quantifier