The core model for sequences of measures. I

DOI10.1017/S030500410006151XzbMath0539.03030OpenAlexW2029243463MaRDI QIDQ3325716

William J. Mitchell

Publication date: 1984

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s030500410006151x

zbMATH Keywords

measurable cardinalGCHcore modelindiscerniblesmousenormal measureiterated ultrapowerstrong sequence of filterswell ordering of reals

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items

\(\omega_ 1\)-constructible universe and measurable cardinals, On -Strongly Measurable Cardinals, Applications of the Covering Lemma for Sequences of Measures, A power function with a fixed finite gap everywhere, Combinatorial principles in the core model for one Woodin cardinal, The consistency strength of projective absoluteness, Some applications of short core models, Definable Singularity, The model \(N=\cup \{L[A:\) A countable set of ordinals\(\}\)], Changing cofinalities and the nonstationary ideal, Some results on the nonstationary ideal, On the Mitchell and Rudin-Keisler orderings of ultrafilters, Cardinal arithmetic for skeptics, Chang's model and covering properties, Disassociated indiscernibles, The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\), On generic elementary embeddings, A cardinal preserving extension making the set of points of countable \(V\) cofinality nonstationary, A framework for forcing constructions at successors of singular cardinals, Some constructions of ultrafilters over a measurable cardinal, A definable failure of the singular cardinal hypothesis, STRUCTURAL PROPERTIES OF THE STABLE CORE, Covering at limit cardinals of K, Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties, Singular Cardinals and the PCF Theory, Strange ultrafilters, Easton's theorem and large cardinals, Large Cardinals and the Continuum Hypothesis, Iteration Trees, Some new upper bounds in consistency strength for certain choiceless large cardinal patterns, An infinitary Ramsey property, The covering lemma up to a Woodin cardinal, On the Singular Cardinal Hypothesis, A Model in Which GCH Holds at Successors but Fails at Limits, On measurable cardinals violating the continuum hypothesis, Prikry forcing at κ⁺ and beyond, European Summer Meeting of the Association for Symbolic Logic, Hull, 1986, On precipitousness of the nonstationary ideal over a supercompact, ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS, Easton's theorem and large cardinals from the optimal hypothesis, The strength of the failure of the singular cardinal hypothesis, Cardinal preserving ideals, Strong cardinals in the core model, Strongly compact cardinals and the continuum function, Forcing the Least Measurable to Violate GCH, □ on the singular cardinals, A characterization of generalized Příkrý sequences, The nonstationary ideal on \(\aleph _ 2\), More on cardinal arithmetic, Possible behaviours for the Mitchell ordering, KWithout the Measurable, P-points and q-points over a measurable cardinal, The core model for almost linear iterations, The maximality of the core model, Blowing up the power set of the least measurable

Cites Work

• Unnamed Item
• On the singular cardinals problem. II
• The covering lemma for L[U]
• The core model
• The covering lemma for K
• Sets constructible from sequences of ultrafilters
• Ultrafilters over a measurable cardinal
• Strong axioms of infinity and elementary embeddings
• Saturated ideals
• Successive large cardinals
• Some applications of iterated ultrapowers in set theory
• The fine structure of the constructible hierarchy