A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)

DOI10.1007/BF02762012zbMath0403.03040MaRDI QIDQ1255946

Saharon Shelah, Keith J. Devlin

Publication date: 1978

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Whitehead Group; Constructible Sets; Diamond; Jensen's Principle; Souslin Trees

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

03E45: Inner models, including constructibility, ordinal definability, and core models

03E50: Continuum hypothesis and Martin's axiom

20K20: Torsion-free groups, infinite rank

20K35: Extensions of abelian groups

03E05: Other combinatorial set theory

Related Items

Moduli uniseriali non standard, Set Theory Generated by Abelian Group Theory, On a Conjecture Regarding Nonstandard Uniserial Modules, Bijective preimags of \(\omega_1\), Endomorphism rings of Abelian groups as isomorphic restrictions of full endomorphism rings. II, Paracompactness in perfect, locally Lindelöf spaces, Additivity of metrizability and related properties, On the number of non-isomorphic subgraphs, Hereditarily separable groups and monochromatic uniformization, Applications of cohomology to set theory. I: Hausdorff gaps, Uniformization and the diversity of Whitehead groups, Explicitly non-standard uniserial modules