The consistency of 2^{aleph_{0}}> aleph_{omega} + I(aleph_{2})=I(aleph_{omega})
Abstract
An omega-coloring is a pair 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.
Read the paper
Related studies
- eggNOG 5.0: a hierarchical, functionally and phylogenetically annotated orthology resource based on 5090 organisms and 2502 viruses
- Online Survival Analysis Software to Assess the Prognostic Value of Biomarkers Using Transcriptomic Data in Non-Small-Cell Lung Cancer
- OptiType: precision HLA typing from next-generation sequencing data
- Nicotinic Cholinergic System and COVID-19: In Silico Identification of an Interaction between SARS-CoV-2 and Nicotinic Receptors with Potential Therapeutic Targeting Implications
- Saccharomyces cerevisiae cells have three Omega class glutathione S-transferases acting as 1-Cys thiol transferases
- Hemolysis at low blood flow rates: in-vitro and in-silico evaluation of a centrifugal blood pump
Go deeper in Evidence Hub
Evidence Hub adds a study data sheet (design, sample size, evidence level, key numbers), an AI summary and a chat grounded in the paper's text.