Graduate Logic Group: Constructing the Harrison Linear Ordering | Department of Mathematics

Graduate Logic Group: Constructing the Harrison Linear Ordering

Event Information
Event Location: 
GAB 461
Event Date: 
Wednesday, October 4, 2017 - 3:45pm

Using the tools from the previous talk, we will construct the Harrison linear ordering. This is a rather counterintuitive structure, a computable linear ordering where every point is contained in a well-ordered interval of length $\omega_1^{CK}$.