The Game Quantifier

DOI10.2307/2038552zbMATH Open0243.02035OpenAlexW4238042258MaRDI QIDQ5654033FDOQ5654033

Yiannis N. Moschovakis

Publication date: 1972

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Abstract First Order Computability. I
• Abstract Computability and Invariant Definability
• The next admissible set
• Hierarchies of number-theoretic predicates
• The Suslin-Kleene theorem for countable structures

Cited In (4)

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

This page was built for publication: The Game Quantifier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5654033)