Show that there exists a tournament (T,→) of cardinality ℵ1 containing no transitive subtournament of size ℵ1. ( A structure (T,→) is a <spanclass=′latex−italic′>tournament</span> if → is a binary, irreflexive, asymmetric and trichotomic relation. The tournament (T,→) is transitive if → is transitive, that is, if it orders T.)
A. Hajnal advanced fieldsadvanced fields unsolvedset theoryreal analysis