Timeline for Can Z + Ranks + Successor cardinals + Ordinal inaccessibility be equal to ZF?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1, 2021 at 9:11 | comment | added | Zuhair Al-Johar | Thanks for this answer, I see that the ordinal $\beta$ occurs "after" each function, while it should be prior to all of them, which cannot be done easily. I've corrected the answer to the conventional way of expressing it. | |
| May 1, 2021 at 7:48 | comment | added | Zuhair Al-Johar | the form of axiom of choice I meant is that every set is bijective to some ordinal. In that form, it'll prove the result. I'll edit it to that effect. | |
| May 1, 2021 at 2:10 | history | edited | Greg Kirmayer | CC BY-SA 4.0 |
added 1 character in body
|
| May 1, 2021 at 1:34 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
linked to JDH's answer
|
| May 1, 2021 at 0:22 | history | undeleted | Greg Kirmayer | ||
| May 1, 2021 at 0:21 | history | edited | Greg Kirmayer | CC BY-SA 4.0 |
deleted 346 characters in body
|
| Apr 30, 2021 at 19:36 | history | deleted | Greg Kirmayer | via Vote | |
| Apr 30, 2021 at 19:30 | history | answered | Greg Kirmayer | CC BY-SA 4.0 |