Timeline for How is this fixed point theorem related to the axiom of choice?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 4, 2021 at 22:39 | comment | added | Buschi Sergio | For Bourbaki-Witt fixed point theorem, and Zorn lemma see also "Linear Operator I" N.Dunford & J.Schwartz, pag 5 theorem 5, they dont use AC, but in the proof of "Hausdorff maximality theorem" (th.6 in the book) they use AC (for make the function $f$). | |
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Dec 24, 2018 at 22:46 | comment | added | Andrej Bauer | Ops, I misread that, sorry. | |
| Dec 24, 2018 at 16:33 | comment | added | Tom Leinster | I thought Bourbaki-Witt was the same theorem but under the stronger hypothesis that every chain has a least upper bound. (See the last paragraph of the question.) So, BW is a weaker theorem. I believe that this is what "Bourbaki-Witt theorem" means partly because it says so in your paper arXiv:1201.0340 with Peter Lumsdaine. | |
| Dec 24, 2018 at 9:53 | comment | added | Andrej Bauer | This theorem goes under the name Bourbaki-Witt, in case you wonder. | |
| Dec 24, 2018 at 0:31 | vote | accept | Tom Leinster | ||
| Dec 23, 2018 at 23:26 | answer | added | Andreas Blass | timeline score: 21 | |
| Dec 23, 2018 at 22:59 | history | asked | Tom Leinster | CC BY-SA 4.0 |