(aleph_1)^{aleph_0}