Some downwards transfer properties for \(\aleph _ 2\) (Q1112023): Difference between revisions

Assume the consistency of ZFC \(+ ``there\) is a huge cardinal''. Under this assumption the authors use forcing to construct a model of \(ZFC+GCH\) in which \(\aleph_ 2\) posseses these interesting properties: (i) every graph of size and chromatic number \(\aleph_ 2\) will have a vertex induced subgraph of size and chromatic number \(\aleph_ 1\); (ii) if \({\mathcal A}=(A,f_ i)_{i<\omega}\) is an algebra in a variety, with \(| A| =\aleph_ 2\), such that there are functions \(h_ m: (A)^{<\omega}\to A(m<\omega)\) so that any \(\aleph_ 1\)-sized subalgebra of \({\mathcal A}\) closed under the \(h_ m's\) is free, then \({\mathcal A}\) is the union of \(\aleph_ 1\)-many free subalgebras.