Timeline for Can there be a proper class of Dedekind-finite cardinals?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 22 at 0:22 | comment | added | Guozhen Shen | @AsafKaragila I got it. Thanks! | |
| Sep 21 at 18:45 | comment | added | Asaf Karagila♦ |
@GuozhenShen: The @ notifications only work if you actually type in the user name, not the last name. That doesn't do anything.
|
|
| Sep 21 at 18:44 | comment | added | Asaf Karagila♦ | @Elliot: If you can do it once, you can do it forever. That's kind of the point in my paper. | |
| Sep 21 at 17:43 | comment | added | Guozhen Shen | @Ryan-Smith The sets that cannot map onto $\omega$ are called power Dedekind finite sets by Blass and me and are called weakly Dedekind finite sets by some others. | |
| Sep 21 at 17:31 | comment | added | Guozhen Shen | @Glazer I think this is right. | |
| Sep 21 at 17:27 | comment | added | Guozhen Shen | @Ryan-Smith Dually Dedekind finite sets are those sets which cannot map onto their proper supersets. | |
| Sep 21 at 16:04 | comment | added | Calliope Ryan-Smith | @ElliotGlazer If $X$ is dually Dedekind-finite then already $\omega$ already cannot be the image of $X$ by definition. | |
| Sep 21 at 3:58 | comment | added | Elliot Glazer | Has anyone checked if every set can be the image of a dually Dedekind-finite set? | |
| Sep 19 at 16:43 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |