Determined admissible sets

DOI10.1090/PROC/14914MaRDI QIDQ5221364zbMATH OpenOpenAlexWikidataFDO

Authors Juan P. Aguilera

Publication date 25 March 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Determinacy principles (03E60)

Abstract: It is shown, from hypotheses in the region of $omeg{a}^2$ Woodin cardinals, that there is a transitive model of KP + AD${}_{m}athbbR$ containing all reals.

Recommendations

• Determinacy in L(ℝ)
• A Proof of Projective Determinacy
• Determinacy for games ending at the first admissible relative to the play
• Projective games on the reals
• Determinacy and the sharp function on the reals

Cites work

• \(L(\mathbb{R}, \mu)\) is unique
• Descriptive set theory
• Elementary induction on abstract structures
• Equivalence of partition properties and determinacy
• Equivalence of Two Strong Forms of Determinacy
• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 5521844 (Why is no real title available?)
• scientific article; zbMATH DE number 5521850 (Why is no real title available?)
• scientific article; zbMATH DE number 3506643 (Why is no real title available?)
• Inner models with many Woodin cardinals
• Large cardinals from determinacy
• On Spector classes
• SHORTENING CLOPEN GAMES
• Structure theory of \(L(\mathbb{R},\mu)\) and its applications
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The derived model theorem
• The determinacy of long games
• The higher infinite. Large cardinals in set theory from their beginnings.
• The tree of a Moschovakis scale is homogeneous
• Uniformization in a playful universe

Cited in

(5)

• Projective games on the reals
• scientific article; zbMATH DE number 1186944 (Why is no real title available?)
• GAMES AND INDUCTION ON REALS
• GAMES AND REFLECTION IN
• Self-admissible sets

This page was built for publication: Determined admissible sets

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