Reflection principles, generic large cardinals, and the continuum problem

DOI10.1007/978-981-16-4173-2_1OpenAlexW4285544223MaRDI QIDQ2097055

Sakaé Fuchino, André Ottenbreit Maschio Rodrigues

Publication date: 11 November 2022

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

zbMATH Keywords

reflection principlesforcing axiomscontinuum problemlaver-generically large cardinals

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On potential embedding and versions of Martin's axiom
• Generic compactness reformulated
• New proofs of the consistency of the normal Moore space conjecture. II
• Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum
• The diagonal reflection principle
• The Set-theoretic Multiverse as a Mathematical Plenitudinous Platonism Viewpoint(<Special Section>Infinity in Philosophy and Mathematics)
• Openly generated Boolean algebras and the Fodor-type reflection principle
• A characterization of Martin's axiom in terms of absoluteness
• Fragments of Martin's Maximum in generic extensions
• Laver sequences for extendible and super-almost-huge cardinals
• Separating stationary reflection principles
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Consistency-Proof for the Generalized Continuum-Hypothesis
• What is Cantor's Continuum Problem?
• Consistency of the Continuum Hypothesis. (AM-3)

This page was built for publication: Reflection principles, generic large cardinals, and the continuum problem