Timeline for Maximal chains of order type $\omega_1^{ck}$ in computable partial orders?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 6, 2023 at 5:19 | comment | added | Dan Turetsky | Nice. I've edited in an explanation of the cardinality argument into the original question. | |
| Aug 4, 2023 at 19:33 | comment | added | Noah Schweber | @DanTuretsky I still don't see how to make a cardinality argument work here, but an easy fix did occur to me; see the edit. | |
| Aug 4, 2023 at 19:33 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 489 characters in body
|
| Jun 4, 2023 at 21:07 | comment | added | Noah Schweber | @DanTuretsky That takes a bit of care, though - if you try to build an $\omega_1^{CK}$-chain too greedily you wind up becoming maximal too early. It's precisely this detail that I can't remember how to do. | |
| Jun 3, 2023 at 1:39 | comment | added | Dan Turetsky | Ah, very nice. For your comment at the end, I suspect it's a cardinality argument. Show that there are continuum many initial segments of type $\omega_1^{ck}$, so most of them must be maximal. | |
| Jun 3, 2023 at 1:37 | vote | accept | Dan Turetsky | ||
| Jun 3, 2023 at 1:13 | history | answered | Noah Schweber | CC BY-SA 4.0 |