AD and the supercompactness of ℵ1

DOI10.2307/2273231MaRDI QIDQ3962994zbMATH OpenOpenAlexFDO

Authors Howard Becker

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

zbMATH Keywords

analytical hierarchyclosed unbounded filterlength of ultrapowers of ordinalsprojective ordinalsultrafilterZF+dependent choice+axiom of determinacy

Mathematics Subject Classification ID

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

Cites work

• Descriptive set theory
• Measure and category in effective descriptive set theory
• Some combinatorial problems concerning uncountable cardinals
• Strong axioms of infinity and elementary embeddings
• Successive large cardinals
• The axiom of determinateness and reduction principles in the analytical hierarchy
• Thin collections of sets of projective ordinals and analogs of L

Cited in

(6)

• Determinacy implies that \(\aleph_ 2\) is supercompact
• The axiom of real Blackwell determinacy
• Supercompactness can be equiconsistent with measurability
• Representing pointsets as unions of Borel sets
• Inner Models and Ultrafilters In L(ℝ)
• Representing Projective Sets as Unions of Borel Sets

This page was built for publication: AD and the supercompactness of ℵ₁

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