Timeline for Are the multi-valued Eudoxus reals constructively equivalent to the Dedekind reals?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10 at 17:06 | history | edited | Christopher King | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Feb 23 at 18:39 | vote | accept | Christopher King | ||
| S Feb 8 at 18:42 | answer | added | Christopher King | timeline score: 1 | |
| S Feb 8 at 18:42 | history | asked | Christopher King | CC BY-SA 4.0 |