Timeline for What subsystem of third order arithmetic proves the real numbers are Dedekind complete?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13, 2020 at 15:33 | history | answered | Sam Sanders | CC BY-SA 4.0 |