AD and the supercompactness of ℵ1
From MaRDI portal
Publication:3962994
DOI10.2307/2273231zbMath0498.03044OpenAlexW2043122368MaRDI QIDQ3962994
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273231
ultrafilteranalytical hierarchyclosed unbounded filterprojective ordinalslength of ultrapowers of ordinalsZF+dependent choice+axiom of determinacy
Related Items (6)
The axiom of real Blackwell determinacy ⋮ Inner Models and Ultrafilters In L(ℝ) ⋮ Representing Projective Sets as Unions of Borel Sets ⋮ Representing pointsets as unions of Borel sets ⋮ Supercompactness can be equiconsistent with measurability ⋮ Determinacy implies that \(\aleph_ 2\) is supercompact
Cites Work
- Descriptive set theory
- Thin collections of sets of projective ordinals and analogs of L
- Strong axioms of infinity and elementary embeddings
- Successive large cardinals
- Measure and category in effective descriptive set theory
- The axiom of determinateness and reduction principles in the analytical hierarchy
- Some combinatorial problems concerning uncountable cardinals
This page was built for publication: AD and the supercompactness of ℵ1