Sets constructible from sequences of ultrafilters
From MaRDI portal
Publication:4047554
DOI10.2307/2272343zbMath0295.02040OpenAlexW2001967220MaRDI QIDQ4047554
Publication date: 1974
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272343
Related Items
Precipitousness in forcing extensions, Applications of the Covering Lemma for Sequences of Measures, Coherent sequences versus Radin sequences, The structure of the Mitchell order. I, The ultrapower axiom UA and the number of normal measures over \(\aleph_1\) and \(\aleph_2\), A Consistent Consequence of AD, The consistency strength of projective absoluteness, Some applications of short core models, Definable Singularity, Changing cofinalities and the nonstationary ideal, Sets in Prikry and Magidor generic extensions, Disassociated indiscernibles, Singular cardinals and strong extenders, -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders, Measurable cardinals and choiceless axioms, The comparison lemma, Controlling the number of normal measures at successor cardinals, COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES, Measurable cardinals and good ‐wellorderings, Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse, Kunen and set theory, On tall cardinals and some related generalizations, A brief account of recent developments in inner model theory, The structure of the Mitchell order. II., Iteration Trees, On the Singular Cardinal Hypothesis, Saturation of the Closed Unbounded Filter on the Set of Regular Cardinals, The core model for sequences of measures. I, Bounds on the strength of ordinal definable determinacy in small admissible sets, Power function on stationary classes, Maximal realcompact spaces and measurable cardinals, Strong cardinals in the core model, Infinite decreasing chains in the Mitchell order, Many normal measures, Inner Model Operators and the Continuum Hypothesis, Surrealist landscape with figures (a survey of recent results in set theory), Descriptive inner model theory, RANK-TO-RANK EMBEDDINGS AND STEEL’S CONJECTURE, Unraveling \(\boldsymbol\Pi_1^1\) sets, The wholeness axiom and Laver sequences, Large cardinals with few measures, Generalizing the Mahlo hierarchy, with applications to the Mitchell models, The definability of \(\mathbb{E}\) in self-iterable mice, Possible behaviours for the Mitchell ordering, Non-closure of the image model and absence of fixed points, Normal measures on large cardinals
Cites Work
