AD^+ implies _1 is a club -Berkeley cardinal
From MaRDI portal
Publication:6940408
Cites work
- HODas a core model
- \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
- K without the measurable
- A Comparison Process for Mouse Pairs
- A stationary-tower-free proof of the derived model theorem
- An outline of inner model theory
- Descriptive set theory
- Elementary embeddings and infinitary combinatorics
- Extensions of the Axiom of Determinacy
- HOD in natural models of \(\mathsf{AD}^+\)
- Hod mice and the mouse set conjecture
- scientific article; zbMATH DE number 5504385 (Why is no real title available?)
- scientific article; zbMATH DE number 967740 (Why is no real title available?)
- LARGE CARDINALS BEYOND CHOICE
- Large cardinals from determinacy
- NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
- On the prewellorderings associated with the directed systems of mice
- PFA implies ADL(ℝ)
- Scales in \({\mathbf K}(\mathbb R)\)
- Scales on \(\Pi^2_1\) sets
- Stacking mice
- Structural consequences of AD
- The definability of \(\mathbb{E}\) in self-iterable mice
- The derived model theorem
- The envelope of a pointclass under a local determinacy hypothesis
- The higher infinite. Large cardinals in set theory from their beginnings.
- The mouse set conjecture for sets of reals
- VARSOVIAN MODELS I
This page was built for publication: \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940408)
