Timeline for Are the definable hyper-reals, using quantifiers only over the standard reals and natural numbers, the same as the algebraic numbers?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 4, 2017 at 12:44 | comment | added | tomasz | @JoelDavidHamkins: Sure, I've added a remark to that effect. | |
| Feb 4, 2017 at 12:43 | history | edited | tomasz | CC BY-SA 3.0 |
added 130 characters in body
|
| Feb 4, 2017 at 12:34 | comment | added | Joel David Hamkins | Oh, I had thought at first that this answer had been posted by Ramiro, who had made the observation in a comment. Tomasz, could you edit your answer to say that Ramiro had mentioned the idea in the comments? | |
| Feb 4, 2017 at 12:31 | comment | added | Joel David Hamkins | Thank you! In the seminar, we had somehow overlooked the idea of just using $\exists x' (x=x')$. | |
| Feb 4, 2017 at 12:30 | vote | accept | Joel David Hamkins | ||
| Feb 4, 2017 at 12:24 | history | answered | tomasz | CC BY-SA 3.0 |