Determinacy implies that \(\aleph_ 2\) is supercompact

DOI10.1007/BF02761364zbMath0521.03036MaRDI QIDQ1055406

Howard Becker

Publication date: 1981

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

compactnesssupercompactnesscardinalsaxiom of determinacyweakly Mahlo

Mathematics Subject Classification ID

Descriptive set theory (03E15) Determinacy principles (03E60)

Related Items (5)

Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice ⋮ Almost Everywhere Behavior of Functions According to Partition Measures ⋮ The weak square property ⋮ Supercompactness within the projective hierarchy ⋮ An inner model theoretic proof of Becker's theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Cabal seminar 76-77. Proceedings, Caltech-UCLA logic seminar 1976-77
• Thin collections of sets of projective ordinals and analogs of L
• On the determinacy of games on ordinals
• AD and the supercompactness of ℵ₁
• Strong axioms of infinity and elementary embeddings
• On the compactness of ℵ₁ and ℵ₂
• The axiom of determinateness and reduction principles in the analytical hierarchy

This page was built for publication: Determinacy implies that \(\aleph_ 2\) is supercompact