Timeline for Why can't $L_\beta$ contain a real coding a well-ordering of order-type $\beta$, when $\beta$ is a gap ordinal?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1 at 6:58 | history | edited | C7X | CC BY-SA 4.0 |
Correction, bound quantifiers to N as comprehension over N
|
| May 1 at 4:06 | history | answered | C7X | CC BY-SA 4.0 |