GAMES AND REFLECTION IN

DOI10.1017/JSL.2020.20MaRDI QIDQ5855749zbMATH OpenOpenAlexFDO

Authors Juan P. Aguilera

Publication date 19 March 2021

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

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

zbMATH Keywords

\(F_{\sum\nolimits}\) gamesadmissible setdeterminacylong gamesreflecting model

Mathematics Subject Classification ID

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

Abstract: It is shown that determinacy of $F_{s}igma$ games of length $omeg{a}^2$ is equivalent to the existence of a transitive model of KP + AD which contains the reals and reflects $P{i}_1$ facts about the next admissible set.

Recommendations

• GAMES AND INDUCTION ON REALS
• An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
• The sigma-core of convex games and the problem of measure extension
• \(\mu\)-\(\sigma\) games
• Infinite asymptotic games and (*)-embeddings of Banach spaces
• scientific article; zbMATH DE number 935057
• The Burkill-Cesari integral on spaces of absolutely continuous games
• ``Lion-man game and the fixed point property in Hilbert spaces
• On the non-compactness of the core of nonatomic convex \(\sigma\)-continuous measure games
• Infinite games and \(\sigma\)-porosity

Cites work

• Descriptive set theory
• Determined admissible sets
• Elementary induction on abstract structures
• Equivalence of partition properties and determinacy
• Equivalence of Two Strong Forms of Determinacy
• scientific article; zbMATH DE number 5368738 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3332453 (Why is no real title available?)
• scientific article; zbMATH DE number 3078993 (Why is no real title available?)
• Large cardinals from determinacy
• Long Borel games
• On monotone vs. nonmonotone induction
• Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985
• Pure and hybrid mice with finitely many Woodin cardinals from levels of determinacy
• The consistency strength of long projective determinacy
• The determinacy of long games
• The Game Quantifier
• The next admissible set
• The strict determinateness of certain infinite games
• Uniformization in a playful universe
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)

Cited in

(5)

• A characterization of \(\Sigma_1^1\)-reflecting ordinals
• Games of length 2
• Reflection of Long Game Formulas
• GAMES AND INDUCTION ON REALS
• Determinacy on the edge of second-order arithmetic. I

This page was built for publication: GAMES AND REFLECTION IN

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