Timeline for Strong limit cardinals in AD
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 15, 2017 at 0:09 | comment | added | Asaf Karagila♦ | @Keith: The axiom of choice is equivalent to the statement "between any two nonempty sets there is a surjection", which is the equivalent theorem to Hartogs. This appears in Noah's answer... | |
| Dec 14, 2017 at 23:43 | comment | added | Keith Millar | @AsafKaragila Interesting. What result of Lindenbaum relates to this? | |
| Dec 14, 2017 at 23:39 | vote | accept | Keith Millar | ||
| Dec 14, 2017 at 10:50 | comment | added | Asaf Karagila♦ | @Keith: I don't know. Do they really need a name? If pressed against the wall, I would go with a Lindenbaum cardinal. | |
| Dec 13, 2017 at 0:13 | comment | added | Keith Millar | @AsafKaragila The term I used was misleading, I guess. However, my definition was as I wanted it. What would be a better name for these ordinals? | |
| Dec 13, 2017 at 0:13 | vote | accept | Keith Millar | ||
| Dec 14, 2017 at 23:39 | |||||
| Dec 12, 2017 at 13:55 | comment | added | Noah Schweber | @KeithMillar As Asaf pointed out, my claim was wrong. You should unaccept my answer and accept his. | |
| Dec 12, 2017 at 6:01 | comment | added | Asaf Karagila♦ | Yes. And if you look closely, I pointed out the mistake below Noah's answer. | |
| Dec 12, 2017 at 2:22 | comment | added | Keith Millar | I'm getting statements contradicting yours from @NoahSchweber | |
| Dec 11, 2017 at 7:54 | history | answered | Asaf Karagila♦ | CC BY-SA 3.0 |