On a Formerly New Order Type (part 2)

Thu, 08/12/2016 - 10:00
Speaker: 
Seminar: 
Place: 
Abstract: 

Abstract: We are going to prove a classical result of Baumgartner - the existence of a linear order type every uncountable subtype of which contains a copy of omega_1 yet fails to be the union of countably many well-ordered types.

The paper may be found in here.