Timeline for What is known about the boundary between Richardson's theorem and the Tarski-Seidenberg theorem?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2015 at 13:29 | comment | added | user44143 | I don't have references for you, but the reference-request tag might help. | |
| Feb 13, 2015 at 3:29 | comment | added | Charles | I agree -- I was asking for the current state of the art, because I don't know where it's at. Do you know of any strengthenings of Tarski's theorem (in this direction) which retain decidability? | |
| Feb 12, 2015 at 22:41 | history | edited | user44143 | CC BY-SA 3.0 |
edited body
|
| Feb 12, 2015 at 22:29 | history | edited | user44143 | CC BY-SA 3.0 |
added 10 characters in body
|
| Feb 12, 2015 at 21:42 | history | answered | user44143 | CC BY-SA 3.0 |