Logic Seminar

Hossein Lamei-RamandiCornell University
omega1 and -omega1 may be the only minimal uncountable linear orders

Wednesday, October 15, 2014 - 4:00pm
Malott 206

In this talk I will prove the following theorem of Justin Moore: It is consistent with the axioms of ZFC that if L is an uncountable linear order which embedds into all of its uncountable suborders, then L is isomorphic to either omega1 or -omega1.