Timeline for Definition of $\beta$-limit ordinals
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 18, 2011 at 1:26 | vote | accept | Richard Rast | ||
| Oct 17, 2011 at 23:49 | answer | added | Joel David Hamkins | timeline score: 4 | |
| Oct 17, 2011 at 16:58 | answer | added | Goldstern | timeline score: 4 | |
| Oct 17, 2011 at 15:59 | comment | added | Clinton Conley | I don't have the book in front of me, but it seems likely that only countable ordinals are being considered. But are there any particular problems with the subsequent arguments if $\omega_1$ is not in $L_1$? | |
| Oct 17, 2011 at 14:14 | comment | added | Joel David Hamkins | Another issue: you haven't ruled out $\alpha_m=\alpha$ in item 2. But clearly allowing that would trivialize the hierarchy, since one could use constant sequences. | |
| Oct 17, 2011 at 13:04 | history | asked | Richard Rast | CC BY-SA 3.0 |