Prove that there exists an ordered set in which every uncountable subset contains an uncountable, well-ordered subset and that cannot be represented as a union of a countable family of well-ordered subsets.
A. Hajnal
real analysisreal analysis unsolved