GAMES AND REFLECTION IN

DOI10.1017/jsl.2020.20zbMath1485.03193arXiv1906.11762OpenAlexW3043948684MaRDI QIDQ5855749

Juan P. Aguilera

Publication date: 19 March 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1906.11762

zbMATH Keywords

admissible setdeterminacylong games\(F_{\sum\nolimits}\) gamesreflecting model

Mathematics Subject Classification ID

Descriptive set theory (03E15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70) Determinacy principles (03E60)

Related Items (1)

GAMES AND INDUCTION ON REALS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The strict determinateness of certain infinite games
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Elementary induction on abstract structures
• The determinacy of long games
• Long Borel games
• Large Cardinals from Determinacy
• Ordinal Definability and Recursion Theory The Cabal Seminar Volume III
• Equivalence of partition properties and determinacy
• Equivalence of Two Strong Forms of Determinacy
• On monotone vs. nonmonotone induction
• THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
• Determined admissible sets
• Uniformization in a playful universe
• The next admissible set
• The Game Quantifier

This page was built for publication: GAMES AND REFLECTION IN