Timeline for The equivalence of Dedekind-infinite and dually Dedekind-infinite as a weak form of (AC)
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 27 at 16:05 | comment | added | Alex Kruckman | Oh, that's right, I have seen that before. Thanks for the reminder! | |
| May 27 at 15:24 | comment | added | Asaf Karagila♦ | Sure. Look at the set of injective finite sequences, then look at the map which trims the last element from the sequence. It's in a few answers around the site, I'm certain, and you can play with the proof even more to get other crazy ideas. | |
| May 27 at 12:59 | comment | added | Alex Kruckman | Oh, that's a nice theorem. Do you have a reference? (Or a proof sketch?) | |
| May 27 at 9:33 | vote | accept | Dominic van der Zypen | ||
| May 27 at 9:18 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |