On a Formerly New Order Type

Thu, 01/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.