2020/09/18 by Ramandi, Hossein Lamei
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2009.08601
Assume C is the class of all linear orders L such that L is not a countable union of well ordered sets, and every uncountable subset of L contains a copy of ω1. We show it is consistent that C has minimal elements. This answers an old question due to Galvin.