Timeline for Is the statement that every convex complete metric space has midpoints equivalent to the axiom of dependent choice (DC)?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 18 at 12:17 | comment | added | Juan Atacama | Nice idea, use a sequence of intermediate points near the infima... Thank you for the answer. | |
| Sep 2 at 15:48 | vote | accept | Juan Atacama | ||
| Sep 2 at 15:48 | vote | accept | Juan Atacama | ||
| Sep 2 at 15:48 | |||||
| Aug 31 at 12:36 | history | edited | Farmer S | CC BY-SA 4.0 |
Added a bit more explanation.
|
| Aug 31 at 5:08 | history | edited | François G. Dorais | CC BY-SA 4.0 |
typo
|
| Aug 31 at 0:33 | history | answered | Farmer S | CC BY-SA 4.0 |