Timeline for Is the order arithmetic of the positive reals o-minimal?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 8, 2019 at 23:31 | history | edited | YCor |
edited tags
|
|
| Mar 3, 2019 at 10:50 | vote | accept | Colin Tan | ||
| Mar 2, 2019 at 2:02 | answer | added | Levon Haykazyan | timeline score: 6 | |
| Feb 27, 2019 at 16:36 | comment | added | Noah Schweber | Note that $>$ is definable from $+$ here: $a<b$ iff $\exists c(a+c=b)$. | |
| Feb 27, 2019 at 12:45 | review | Close votes | |||
| Mar 9, 2019 at 3:05 | |||||
| Feb 27, 2019 at 5:02 | answer | added | James | timeline score: 5 | |
| Feb 27, 2019 at 4:40 | review | First posts | |||
| Feb 27, 2019 at 7:00 | |||||
| Feb 27, 2019 at 4:36 | history | asked | Colin Tan | CC BY-SA 4.0 |