Measurable cardinals and the continuum hypothesis

DOI10.1007/BF02771612zbMath0289.02044OpenAlexW2073171092MaRDI QIDQ1846869

Robert M. Solovay, Azriel Levy

Publication date: 1967

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

Full work available at URL: https://doi.org/10.1007/bf02771612

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Axiomatics of classical set theory and its fragments (03E30)

Related Items (only showing first 100 items - show all)

Identity crises and strong compactness. III: Woodin cardinals ⋮ Some results on consecutive large cardinals. II: Applications of Radin forcing ⋮ Exactly controlling the non-supercompact strongly compact cardinals ⋮ An AD-like model ⋮ Indestructibility properties of Ramsey and Ramsey-like cardinals ⋮ Gap Forcing: Generalizing the Lévy-Solovay Theorem ⋮ Coding into HOD via normal measures with some applications ⋮ Some results concerning strongly compact cardinals ⋮ A Consistent Consequence of AD ⋮ Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\) ⋮ Failures of SCH and level by level equivalence ⋮ Changing cofinalities and the nonstationary ideal ⋮ INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT ⋮ The least strongly compact can be the least strong and indestructible ⋮ On certain indestructibility of strong cardinals and a question of Hajnal ⋮ Preserving levels of projective determinacy by tree forcings ⋮ The first measurable cardinal can be the first uncountable regular cardinal at any successor height ⋮ Patterns of compact cardinals ⋮ Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness ⋮ On the consistency strength of level by level inequivalence ⋮ Saturated Ideals in Boolean Extensions ⋮ Indestructibility properties of remarkable cardinals ⋮ GENERIC LARGE CARDINALS AS AXIOMS ⋮ On some questions concerning strong compactness ⋮ Precisely controlling level by level behavior ⋮ Inner models with large cardinal features usually obtained by forcing ⋮ The first omitting cardinal for Magidority ⋮ Large cardinal structures below ℵ_ω ⋮ Precipitous ideals and \(\sum^1_4\) sets ⋮ On weak square, approachability, the tree property, and failures of SCH in a choiceless context ⋮ Some structural results concerning supercompact cardinals ⋮ Continuity of coordinate functionals of filter bases in Banach spaces ⋮ On the least strongly compact cardinal ⋮ Indestructibility of Vopěnka's principle ⋮ A remark on the tree property in a choiceless context ⋮ Indestructible strong compactness but not supercompactness ⋮ Menas’ Result is Best Possible ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Strong combinatorial principles and level by level equivalence ⋮ Level by level inequivalence beyond measurability ⋮ The Mathematical Development of Set Theory from Cantor to Cohen ⋮ AD and patterns of singular cardinals below Θ ⋮ Identity crises and strong compactness ⋮ On tall cardinals and some related generalizations ⋮ Believing the axioms. II ⋮ On some properties of Shelah cardinals ⋮ How many normal measures can ℵω₁+1 carry? ⋮ Borel canonization of analytic sets with Borel sections ⋮ Certain very large cardinals are not created in small forcing extensions ⋮ On a hypothesis for \({\aleph}_{0}\)-bounded groups ⋮ Large Cardinals and the Continuum Hypothesis ⋮ Gödel’s Cantorianism ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ The structure of the Mitchell order. II. ⋮ Indestructibility and measurable cardinals with few and many measures ⋮ Universal indestructibility for degrees of supercompactness and strongly compact cardinals ⋮ Inner models from extended logics: Part 1 ⋮ Supercompactness and measurable limits of strong cardinals ⋮ Against the judgment-dependence of mathematics and logic ⋮ Catch games: the impact of modeling decisions ⋮ Laver indestructibility and the class of compact cardinals ⋮ Inaccessible cardinals, failures of GCH, and level-by-level equivalence ⋮ Measurable cardinals and the cardinality of Lindelöf spaces ⋮ On some new metamathematical results concerning set theory ⋮ Levy and set theory ⋮ Indestructibility, instances of strong compactness, and level by level inequivalence ⋮ Diamond, square, and level by level equivalence ⋮ On a problem of Foreman and Magidor ⋮ Indestructible Strong Compactness and Level by Level Equivalence with No Large Cardinal Restrictions ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice ⋮ More on full reflection below \({\aleph_\omega}\) ⋮ Normal measures and strongly compact cardinals ⋮ On the singular cardinals problem. I ⋮ On measurable limits of compact cardinals ⋮ A note on tall cardinals and level by level equivalence ⋮ Set-theoretic geology ⋮ Strongly compact cardinals and the continuum function ⋮ On the class of measurable cardinals without the axiom of choice ⋮ Forcing the Least Measurable to Violate GCH ⋮ All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters ⋮ Indestructibility under adding Cohen subsets and level by level equivalence ⋮ \(\omega_1\) can be measurable ⋮ Successors of singular cardinals and measurability revisited ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Successors of singular cardinals and measurability ⋮ On a problem of de Groot and a topological theorem of Ramsey type ⋮ Tallness and level by level equivalence and inequivalence ⋮ Incompatible Ω-Complete Theories ⋮ Indestructibility, measurability, and degrees of supercompactness ⋮ DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ Large cardinals with few measures ⋮ Small forcing creates neither strong nor Woodin cardinals ⋮ Some results on consecutive large cardinals ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ Measurability and degrees of strong compactness ⋮ Indestructibility and the level-by-level agreement between strong compactness and supercompactness ⋮ On index of total boundedness of (strictly) \(o\)-bounded groups

Cites Work

• Axiom schemata of strong infinity in axiomatic set theory
• A model of set-theory in which every set of reals is Lebesgue measurable
• From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Measurable cardinals and the continuum hypothesis