Timeline for Ordinal numbers reachable by primitive recursive ordinal functions in omega
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 3, 2021 at 16:08 | comment | added | Mohsen Shahriari | Thanks for your kind answer. While I still struggle with understanding several parts of it, it seems that the observations still leave open the question of equality of the supremum of reachable ordinals and the smallest non-reachable one. Is there a way for attacking that part of the problem as well? | |
| Mar 28, 2021 at 4:19 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 1544 characters in body
|
| Mar 28, 2021 at 4:14 | history | undeleted | Noah Schweber | ||
| Mar 28, 2021 at 4:13 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 1544 characters in body
|
| Mar 28, 2021 at 4:04 | history | deleted | Noah Schweber | via Vote | |
| Mar 28, 2021 at 4:04 | history | answered | Noah Schweber | CC BY-SA 4.0 |