1. Larger cardinalities We hold seen that ( Ramsey ) and -Rado ) for any if we can proceed the building for many stairs, so we obtain a set of order type with supremum such that is 1-homogeneous, contradiction. It follows that the building must halt at some finite phase. Allow be the length of the sequence of so constructed, therefore for any is not 1-homogeneous. By reiterated application of Fodor 's lemma, chance stationary, read more
