Abstract
Let {Mathematical expression} be the family of graphs on ω1 without cliques or independent subsets of size w 1. We prove that (a) it is consistent with CH that every Gε {Mathematical expression} has 2ω many pairwise non-isomorphic subgraphs, (b) the following proposition holds in L: (*)there is a Gε {Mathematical expression} such that for each partition (A, B) of ω1 either G≅G[A] or G≅G[B], (c) the failure of (*) is consistent with ZFC.
Original language | English |
---|---|
Pages (from-to) | 349-371 |
Number of pages | 23 |
Journal | Israel Journal of Mathematics |
Volume | 86 |
Issue number | 1-3 |
DOIs | |
State | Published - Oct 1994 |