Timeline for Unnecessary uses of the axiom of choice
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2022 at 21:30 | comment | added | tj_ | In fact, it is consistent with ZF that there are vector spaces with bases of different cardinality: mathoverflow.net/questions/402010/… | |
| Feb 18, 2022 at 21:18 | history | edited | LSpice | CC BY-SA 4.0 |
`\wedge` -> `\bigwedge`
|
| Feb 18, 2022 at 20:49 | comment | added | Ege Erdil | @Blazej I'm not even certain if you can get away with dimension being well-defined for vector spaces in the absence of choice. (You of course can't get a basis for every vector space without choice, but I'm not sure if you can show that given there are two infinite bases of a vector space, they must be of equal cardinality.) | |
| Feb 18, 2022 at 20:19 | comment | added | Blazej | What about free modules of infinite rank? | |
| Feb 18, 2022 at 13:37 | history | edited | Ege Erdil | CC BY-SA 4.0 |
deleted 2 characters in body
|
| S Feb 18, 2022 at 13:27 | history | answered | Ege Erdil | CC BY-SA 4.0 | |
| S Feb 18, 2022 at 13:27 | history | made wiki | Post Made Community Wiki by Ege Erdil |