S. Shelah, L. Soukup:
On the number of non-isomorphic
subgraphs
Let K be the family of graphs on omega_1 without
cliques or independent subsets of size omega_1.
We prove that
-
it is consistent with CH that every G from K has 2^omega_1 many
pairwise non-isomorphic subgraphs,
-
the following proposition holds in L:
(*) ``there is a G in K such that for each partition (A,B) of
omega_1
either G[A] or G[B] is isomorphic to G
- the failure of (*) is consistent with ZFC.
Downloading the paper
gzipped tex file (21353 bytes),
gzipped dvi file (45053 bytes),
appeared in Israel J. Math 86(1994) no 1-3, 349-371.