Timeline for Formal definition of this ordinal?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2018 at 10:17 | vote | accept | SSequence | ||
| Sep 11, 2018 at 10:13 | history | edited | SSequence | CC BY-SA 4.0 |
deleted 1509 characters in body; edited tags
|
| Sep 10, 2018 at 20:21 | comment | added | Noah Schweber | Yes, I'll add that to my answer. | |
| Sep 10, 2018 at 20:20 | comment | added | SSequence | @NoahSchweber Alright I will do it when I get enough time. Just one small question though. Should the correct symbol be $\omega^{CK}_{\omega_1+1}$ for what I called $\gamma$ in this question? (and just in case the answer is "no" ... what would the correct symbol be?) | |
| Sep 10, 2018 at 19:31 | comment | added | Noah Schweber | I think that your final side question should be asked separately - ORMs are complicated enough that an answer to the main question doesn't really subsume the side question. | |
| Sep 10, 2018 at 18:59 | comment | added | SSequence | @NoahSchweber Yes indeed | |
| Sep 10, 2018 at 18:58 | comment | added | Noah Schweber | Does "ORM" stand for "ordinal register machine"? | |
| Sep 10, 2018 at 18:53 | answer | added | Noah Schweber | timeline score: 6 | |
| Sep 10, 2018 at 8:51 | history | edited | SSequence | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Sep 10, 2018 at 8:43 | history | edited | SSequence | CC BY-SA 4.0 |
added 10 characters in body
|
| Sep 10, 2018 at 8:32 | history | asked | SSequence | CC BY-SA 4.0 |