Timeline for Zorn's lemma via Zermelo theorem
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2015 at 11:39 | vote | accept | Fedor Petrov | ||
| Feb 22, 2015 at 1:20 | comment | added | Andreas Blass | "Reverse mathematics" is sometimes (often?) defined as the project of determining which axioms are needed to prove theorems of ordinary mathematics. If one accepts this definition (and doesn't insist on working in second-order arithmetic), then much of the work on weak forms of the axiom of choice is reverse mathematics (with ZF or a variant allowing atoms as the base theory). (I realize this isn't relevant to the present question, which isn't about weak forms, but it seems relevant to part of Noah's answer.) | |
| Feb 21, 2015 at 22:26 | comment | added | Noah Schweber | Yes, but it is shorter, which is what was asked for. Like I said though, I'm not sure it counts. | |
| Feb 21, 2015 at 22:26 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 3202 characters in body
|
| Feb 21, 2015 at 22:23 | comment | added | Emil Jeřábek | This is just the usual argument, but applied indirectly to the poset of chains in $\mathbb P$ instead of $\mathbb P$ itself. | |
| Feb 21, 2015 at 22:07 | history | answered | Noah Schweber | CC BY-SA 3.0 |