Morasses, diamond, and forcing
From MaRDI portal
Publication:3671150
DOI10.1016/0003-4843(82)90005-5zbMath0521.03034OpenAlexW2073855596MaRDI QIDQ3671150
Publication date: 1982
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(82)90005-5
diamondmorassesbox-principlesgap-2 two-cardinal theoremsKurepa-treesLindelöf-spacesPrikry-forcingSouslin-trees
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Other combinatorial set theory (03E05)
Related Items (26)
How recent work in mathematical logic relates to the foundations of mathematics ⋮ S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2\). (With an appendix by John P. Burgess)] ⋮ On the cardinality of Lindelöf spaces with points \(G_ \delta\) ⋮ Semimorasses and nonreflection at singular cardinals ⋮ Products of Lindelöf spaces and GO-spaces ⋮ MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES ⋮ On constructions with 2-cardinals ⋮ Strong independence and its spectrum ⋮ Morasses and the Lévy-collapse ⋮ Gap-2 morasses of height ω ⋮ Indestructibility of Vopěnka's principle ⋮ Infinite combinatorial issues raised by lifting problems in universal algebra ⋮ A reflection principle and its applications to nonstandard models ⋮ Cardinal transfer properties in extender models ⋮ A Forcing Axiom Deciding the Generalized Souslin Hypothesis ⋮ SQUARES, SCALES AND STATIONARY REFLECTION ⋮ Morasses, semimorasses and supercompact ultrafilters ⋮ Almost Souslin Kurepa trees ⋮ On partitioning the triples of a topological space ⋮ A theorem and some consistency results in partition calculus ⋮ Partition relations for successor cardinals ⋮ Large cardinals and gap-1 morasses ⋮ On strong chains of uncountable functions ⋮ Models of Peano arithmetic and a question of Sikorski on ordered fields ⋮ Simplified morasses ⋮ Spaces having a small diagonal
This page was built for publication: Morasses, diamond, and forcing
