A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
From MaRDI portal
Publication:1255946
DOI10.1007/BF02762012zbMath0403.03040MaRDI QIDQ1255946
Saharon Shelah, Keith J. Devlin
Publication date: 1978
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Applications of logic to group theory (20A15) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Torsion-free groups, infinite rank (20K20) Extensions of abelian groups (20K35) Other combinatorial set theory (03E05)
Related Items (90)
On the number of non-isomorphic subgraphs ⋮ C.c.c. forcing without combinatorics ⋮ A perfectly normal nonrealcompact space consistent with MA\(_{\aleph_1}\) ⋮ Explicitly non-standard uniserial modules ⋮ Compactness in singular cardinals revisited ⋮ Unnamed Item ⋮ Hereditarily separable groups and monochromatic uniformization ⋮ Applications of cohomology to set theory. I: Hausdorff gaps ⋮ Uncountable groups have many nonconjugate subgroups ⋮ Moduli uniseriali non standard ⋮ PFA and \(\omega\) \(*_ 1\) ⋮ Diamonds, uniformization ⋮ Forcing axioms and the continuum hypothesis ⋮ Forcing axioms and the continuum hypothesis. II: Transcending \(\omega _1\)-sequences of real numbers ⋮ Finding generic filters by playing games ⋮ Arbitrary torsion classes and almost free abelian groups ⋮ Uniformization principles ⋮ ON CATEGORICITY IN SUCCESSIVE CARDINALS ⋮ Nonstandard uniserial modules over valuation domains ⋮ Some infinitely generated non-projective modules over path algebras and their extensions under Martin's axiom ⋮ Combinatorial aspects of the splitting number ⋮ On the rank of Ext ⋮ A forcing axiom for a non-special Aronszajn tree ⋮ The relative strengths of fragments of Martin's axiom ⋮ What makes the continuum ℵ₂ ⋮ Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c. ⋮ Covering properties which, under weak diamond principles, constrain the extents of separable spaces ⋮ Can you take Akemann-Weaver's \(\diamondsuit_{\aleph_1}\) away? ⋮ The uniformization property for \(chi_ 2\). ⋮ Negating the Galvin property ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ Whitehead groups may not be free even assuming CH. II ⋮ Set Theory Generated by Abelian Group Theory ⋮ The affinity of set theory and abelian group theory. ⋮ Cotorsion theories cogenerated by \(\aleph_1\)-free Abelian groups. ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics ⋮ Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal ⋮ On endo-rigid, strongly \(\aleph_1\)-free Abelian groups in \(\aleph_1\). ⋮ Complete characterizations of stable Farkas' lemma and cone-convex programming duality ⋮ Uncountable strongly surjective linear orders ⋮ A note on connected submetaLindelöf spaces ⋮ The effect of forcing axioms on the tightness of the $G_\delta $-modification ⋮ THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES ⋮ More on weak diamond ⋮ On a Conjecture Regarding Nonstandard Uniserial Modules ⋮ Bijective preimags of \(\omega_1\) ⋮ \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders ⋮ Unnamed Item ⋮ Ladder systems on trees ⋮ Controlling cardinal characteristics without adding reals ⋮ Weak diamond and Galvin's property ⋮ Malykhin's problem ⋮ Endomorphism rings of Abelian groups as isomorphic restrictions of full endomorphism rings. II ⋮ Uniformizing ladder system colorings and the rectangle refining property ⋮ Paracompactness in perfect, locally Lindelöf spaces ⋮ Middle diamond ⋮ Left Separated Spaces With Point-Countable Bases ⋮ WEAK DIAMOND AND OPEN COLORINGS ⋮ Diamond principles in Cichoń's diagram ⋮ Categoricity in abstract elementary classes with no maximal models ⋮ Construction with opposition: cardinal invariants and games ⋮ Categoricity of an abstract elementary class in two successive cardinals ⋮ The structure of Ext\((A,\mathbb{Z})\) and \(V=L\) ⋮ Whitehead groups may be not free, even assuming CH. I ⋮ Downward categoricity from a successor inside a good frame ⋮ The consistency with CH of some consequences of Martin's axiom plus \(2^{\aleph_0}>\aleph_1\) ⋮ Double weakness ⋮ Non-forking w-good frames ⋮ Automorphisms of $\mathcal P(\lambda )/\mathcal I_\kappa $ ⋮ Uniformization and the diversity of Whitehead groups ⋮ On uncountable Abelian groups ⋮ The club principle and the distributivity number ⋮ Variations on ◊ ⋮ On non-standard uniserial modules over valuation domains and their quotients ⋮ On Crawley Modules ⋮ Parametrized $\diamondsuit $ principles ⋮ Specializing Aronszajn Trees and Preserving Some Weak Diamonds ⋮ An independence result in quadratic form theory: Infinitary combinatorics applied to ε-Hermitian spaces ⋮ A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\) ⋮ Forcing with stable posets ⋮ Zero-selectors and GO spaces ⋮ The categoricity spectrum of large abstract elementary classes ⋮ Additivity of metrizability and related properties ⋮ Unnamed Item ⋮ Isomorphism types of Aronszajn trees ⋮ Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\) ⋮ A guessing principle from a Souslin tree, with applications to topology ⋮ A simple proof for a theorem of Chase ⋮ More on the weak diamond ⋮ (Weak) diamond can fail at the least inaccessible cardinal
Cites Work
This page was built for publication: A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
