Skip to main content
1 of 4
Dan Turetsky
  • 3.1k
  • 16
  • 27

Maximal chains of order type $\omega_1^{ck}$ in computable partial orders?

Can a computable partial order have a maximal chain of order-type $\omega_1^{ck}$? My instinct is to say no, of course not, but I can't actually make the argument. If the p.o. also has chains of Harrison type, there seems to be no violation of $\Sigma^1_1$-bounding.

Dan Turetsky
  • 3.1k
  • 16
  • 27