scientific article; zbMATH DE number 3496166

zbMath0317.02083MaRDI QIDQ4078034

Robert M. Solovay

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50)

Related Items (46)

Exactly controlling the non-supercompact strongly compact cardinals ⋮ Isomorphic limit ultrapowers for infinitary logic ⋮ Square and delta reflection ⋮ Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals ⋮ A general tool for consistency results related to I1 ⋮ Failures of SCH and level by level equivalence ⋮ More on powers of singular cardinals ⋮ The tree property at ℵ_ω+1 ⋮ Toward a stability theory of tame abstract elementary classes ⋮ The linearity of the Mitchell order ⋮ IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ A characterization of cardinals \(\kappa\) such that \(2^{\lambda}=2^{\kappa}\) whenever \(\kappa \leq \lambda <2^{\kappa}\) ⋮ Strong compactness and the ultrapower axiom I: the least strongly compact cardinal ⋮ APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON ⋮ Piece selection and cardinal arithmetic ⋮ On some questions concerning strong compactness ⋮ Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\) ⋮ Strongly compact cardinals and ordinal definability ⋮ On the least strongly compact cardinal ⋮ Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal ⋮ The combinatorial essence of supercompactness ⋮ Rank-into-rank hypotheses and the failure of GCH ⋮ On the existence of skinny stationary subsets ⋮ The Ultrapower Axiom ⋮ Large cardinals and definable well-orders, without the GCH ⋮ Asymptotic Quasi-completeness and ZFC ⋮ Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality ⋮ PFA and guessing models ⋮ Strongly normal ideals on \(\mathcal P_ \kappa \lambda\) and the sup-function ⋮ The Ultrapower Axiom and the GCH ⋮ Forcing axioms and stationary sets ⋮ Internal sizes in \(\mu\)-abstract elementary classes ⋮ On the consistency strength of the Milner-Sauer conjecture ⋮ A new characterization of supercompactness and applications ⋮ Diamond, square, and level by level equivalence ⋮ Normal measures and strongly compact cardinals ⋮ On the singular cardinals problem. I ⋮ Supercompact cardinals and a partition property ⋮ Indestructibility and destructible measurable cardinals ⋮ The size of epimorphic extensions ⋮ Partial strong compactness and squares ⋮ Destruction or preservation as you like it ⋮ A weakly normal ultrafilter amenable to its ultrapower ⋮ Some problems in singular cardinals combinatorics ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING

This page was built for publication: