Non-Ramsey set from transfinite selection

ID: non-ramsey-set-from-transfinite-selection

Using the axiom of choice, enumerate all infinite subsets of the positive integers in order type . By transfinite recursion, choose two previously unused infinite subsets of each . This is possible because each has cardinality and fewer choices have been made at stage . The set is not a Ramsey set of infinite subsets, since every meets both it and its complement.

New to topics? Read the docs here!