The Church Problem for Countable Ordinals

DOI10.2168/LMCS-5(2:5)2009zbMath1168.03006OpenAlexW3100736911MaRDI QIDQ3636804

Alexander Rabinovich

Publication date: 30 June 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-5(2:5)2009

zbMATH Keywords

countable ordinalsChurch synthesis problem\(\omega\)-games

Mathematics Subject Classification ID

Applications of game theory (91A80) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey

This page was built for publication: The Church Problem for Countable Ordinals