Timeline for What other axioms for set theory can be written in the form: "If mathematical structures $X$ and $Y$ are equipotent, then they're isomorphic"?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 19, 2015 at 15:44 | comment | added | Asaf Karagila♦ | Over a finite field, if two vector spaces are equipotent then they are isomorphic. | |
| Aug 18, 2015 at 21:52 | comment | added | goblin GONE | @JoelDavidHamkins, perhaps the axiom "every model has a saturated elementary extension" can be recast into the desired form. | |
| Aug 18, 2015 at 18:37 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Aug 18, 2015 at 18:12 | comment | added | Joel David Hamkins | It isn't an axiom of set theory, but among the saturated models of a fixed first-order theory, any two that are equipotent are isomorphic. | |
| Aug 18, 2015 at 17:42 | history | asked | goblin GONE | CC BY-SA 3.0 |