Timeline for tennenbaum phenomena for the reals?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 20, 2012 at 14:01 | comment | added | Leon Horsten | Dear Joel, Thanks very much for your answer. Part 1 of your answer is very interesting. It was really part 2 that I meant to ask. You put it nicely: which real-closed fields of size continuum but not necessarily archimedean have computable presentations (computable with respect to these real computational models)? [So your comment above this speaks to this question!] | |
| Dec 20, 2012 at 13:20 | comment | added | Joel David Hamkins | It appears to follow from results in the infinite time computable model theory paper that if $V=L$, then there is a non-Archimedean real-closed field with an ITTM-computable presentation. | |
| Dec 20, 2012 at 11:58 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 434 characters in body
|
| Dec 20, 2012 at 10:31 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |