The consistency of ZFC + 2ℵ0 > ℵω + ℐ(ℵ2) = ℐ(ℵω)

DOI10.2307/2275632zbMATH Open0897.03052arXivmath/9603219OpenAlexW1536863443MaRDI QIDQ4382465FDOQ4382465

Authors: Martin Philip Gilchrist, S. Shelah 

Publication date: 19 October 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: An omega-coloring is a pair <f,B> where f:[B]^{2} ---> omega. The set B is the field of f and denoted Fld(f). Let f,g be omega-colorings. We say that f realizes the coloring g if there is a one-one function k:Fld(g) ---> Fld(f) such that for all {x,y}, {u,v} in dom(g) we have f({k(x),k(y)}) not= f({k(u),k(v)}) => g({x,y}) not= g({u,v}). We write f~g if f realizes g and g realizes f. We call the ~-classes of omega-colorings with finite fields identities. We say that an identity I is of size r if |Fld(f)|=r for some/all f in I. For a cardinal kappa and f:[kappa]^2 ---> omega we define I(f) to be the collection of identities realized by f and I (kappa) to be bigcap {I(f)| f:[kappa]^2 ---> omega}. We show that, if ZFC is consistent then ZFC + 2^{aleph_0}> aleph_omega + I(aleph_2)=I(aleph_omega) is consistent.

Full work available at URL: https://arxiv.org/abs/math/9603219

Recommendations

• Identities on cardinals less than ℵ_ω
• Consistency results on infinite graphs
• An \(\aleph_1\)-dense ideal on \(\aleph_2\)
• scientific article; zbMATH DE number 4047709

zbMATH Keywords

graph coloringforcingGCHrandom reals

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Cites Work

• Combinatorial set theory
• Partition relations for cardinal numbers
• Models with second order properties II. Trees with no undefined branches
• Appendix to models with second order properties II trees with no undefined branches

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: The consistency of ZFC + 2^ℵ₀ > ℵ_ω + ℐ(ℵ₂) = ℐ(ℵ_ω)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382465)