Timeline for Definability in the field of reals with a predicate for some powers of two
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 18, 2018 at 4:57 | vote | accept | Mohammad Golshani | ||
| Apr 18, 2018 at 4:47 | answer | added | Alex Kruckman | timeline score: 8 | |
| Apr 15, 2018 at 0:42 | comment | added | user44143 | See also Yimu Yin’s quantifier elimination algorithm for this at andrew.cmu.edu/user/avigad/Students/yin_ms_thesis.pdf | |
| Apr 14, 2018 at 20:23 | history | edited | user44143 | CC BY-SA 3.0 |
added reference, corrected spelling and punctuation, made title more specific
|
| Apr 13, 2018 at 15:58 | history | asked | Mohammad Golshani | CC BY-SA 3.0 |