On a Formerly New Order Type (part 3)

Thu, 15/12/2016 - 10:00
Speaker: 
Seminar: 
Place: 
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.