scientific article
From MaRDI portal
zbMath0474.03027MaRDI QIDQ3929732
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
micecovering theoremmeasurable cardinalsfine structuresingular cardinal hypothesiscombinatorial principlesconstructible universeiterated ultrapowersgeneric modelsPrikry sequencesabsolutness results for models of ZFC
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Ordinal and cardinal numbers (03E10)
Related Items
Indestructibility properties of Ramsey and Ramsey-like cardinals, Extending ideals, The real core model and its scales, Definable Singularity, A hierarchy of Ramsey cardinals, More countably compact, locally countable spaces, Some descriptive set theory and core models, Regularity of ultrafilters and the core model, CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL, Chang's model and covering properties, A covering lemma for \(K(\mathbb{R})\), The comparison lemma, Scales of minimal complexity in \({K(\mathbb{R})}\), On possible non-homeomorphic substructures of the real line, Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties, Cardinal elementary extensions, Minimal collapsing extensions of models of ZFC, GAMES AND RAMSEY-LIKE CARDINALS, Evidence for Set-Theoretic Truth and the Hyperuniverse Programme, An infinitary Ramsey property, STABLY MEASURABLE CARDINALS, On the Singular Cardinal Hypothesis, A Model in Which GCH Holds at Successors but Fails at Limits, A strong partition cardinal above \(\varTheta \), The core model for sequences of measures. I, Strong partition cardinals and determinacy in \(K(\mathbb R)\), Arbitrary torsion classes of abelian groups*, The strength of the failure of the singular cardinal hypothesis, The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice, Representing Sets of Ordinals as Countable Unions of Sets in the Core Model, About Prikry generic extensions, \(\Sigma_3^1\) absoluteness and the second uniform indiscernible, Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines, Filters and large cardinals, A Proof of Projective Determinacy, How Woodin changed his mind: new thoughts on the continuum hypothesis, Rudimentary recursion, gentle functions and provident sets, Easton's theorem for Ramsey and strongly Ramsey cardinals, The maximality of the core model
