Timeline for Ordinals separate from set theory
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 2, 2015 at 13:47 | history | edited | cody | CC BY-SA 3.0 |
constructive -> countable
|
| Jul 2, 2015 at 13:44 | comment | added | cody | I meant to say countable, thanks. It also gives constructible ordinals, depending on your ambient theory... | |
| Jul 1, 2015 at 23:46 | comment | added | David Roberts♦ | Only gives constructive ordinals or countable ordinals? | |
| Jul 1, 2015 at 21:44 | history | answered | cody | CC BY-SA 3.0 |