On supercompactness of \(\omega_1\)

DOI10.1007/978-981-16-4173-2_2OpenAlexW4206951443MaRDI QIDQ2097056

Daisuke Ikegami, Nam Trang

Publication date: 11 November 2022

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

zbMATH Keywords

supercompactness\(\omega_1\)axiom of determinacylarge cardinal properties

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) General logic (03Bxx) Determinacy principles (03E60) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Related Items (1)

Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse

Cites Work

• \(\omega_1\) can be measurable
• Determinacy from strong compactness of \(\omega_1\)
• Determinacy in L(ℝ, μ)
• An Outline of Inner Model Theory
• Inner Models and Ultrafilters In L(ℝ)
• On the determinacy of games on ordinals
• Optimal Proofs of Determinacy
• SEALING OF THE UNIVERSALLY BAIRE SETS
• STRUCTURE THEORY OFL(ℝ,μ) AND ITS APPLICATIONS
• A Relativization of Axioms of Strong Infinity to ^|^omega;1
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On supercompactness of \(\omega_1\)