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}$.
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now