Timeline for How do we recognize an integer inside the rationals?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 30, 2010 at 16:49 | comment | added | Pace Nielsen | I'm not looking for an answer in first order logic, per se. That is the motivation behind the question, but the question itself is to simply give algorithms or descriptions of the integers, when presented with the rationals [in some manner]. My hope, of course, would be that these descriptions could eventually be turned into first order logical characterizations (as Poonen did with option B above), but I'm leaving that for a later date. | |
| Mar 30, 2010 at 16:09 | history | answered | user5023 | CC BY-SA 2.5 |