Timeline for How much of the axiom of choice do you need in mathematics?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 14, 2023 at 8:59 | vote | accept | Someone211 | ||
| Aug 14, 2023 at 1:06 | comment | added | Elizabeth Henning | @GerryMyerson It's a repetitive redundancy. | |
| Aug 13, 2023 at 23:19 | comment | added | Gerry Myerson | Is "elaborate periphrastic circumlocutions" an elaborate periphrastic circumlocution? | |
| Aug 13, 2023 at 21:30 | comment | added | Dave Benson | I'd really like every ideal of a ring with unit to be contained in a maximal ideal. I can probably get away with elaborate periphrastic circumlocutions, but I hate it when that happens. | |
| Aug 13, 2023 at 13:11 | answer | added | Mikhail Katz | timeline score: 8 | |
| Aug 12, 2023 at 7:15 | comment | added | Gerald Edgar | In "ordinary" linear algebra do we want: "every vector space has a (Hamel) basis" ?? And isn't that equivalent to the full AC? | |
| Aug 11, 2023 at 18:22 | answer | added | new account | timeline score: 6 | |
| Aug 11, 2023 at 11:17 | comment | added | Timothy Chow | Related: What can be preserved in mathematics if all constructions are carried out in ZF? | |
| Aug 11, 2023 at 8:57 | history | became hot network question | |||
| Aug 11, 2023 at 2:05 | answer | added | Nik Weaver | timeline score: 19 | |
| Aug 11, 2023 at 1:34 | answer | added | Joel David Hamkins | timeline score: 32 | |
| Aug 11, 2023 at 0:56 | history | asked | Someone211 | CC BY-SA 4.0 |