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.
Maximal chains of order type $\omega_1^{ck}$ in computable partial orders?
Dan Turetsky
- 3.1k
- 16
- 27