Timeline for Are the multi-valued Eudoxus reals constructively equivalent to the Dedekind reals?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 14 at 17:13 | history | edited | Christopher King | CC BY-SA 4.0 |
added 7 characters in body
|
| Feb 23 at 20:07 | history | edited | Christopher King | CC BY-SA 4.0 |
edited body
|
| Feb 23 at 18:43 | history | edited | Christopher King | CC BY-SA 4.0 |
added 25 characters in body
|
| Feb 23 at 18:39 | vote | accept | Christopher King | ||
| Feb 8 at 18:42 | history | answered | Christopher King | CC BY-SA 4.0 |