On a Formerly New Order Type
יום ה', 01/12/2016 - 10:00
Thilo Weinert (BGU)
Building 216, Room 201
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.