Timeline for Natural number properties as uninterpreted functions in first order logic
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13, 2010 at 5:58 | comment | added | Akshar Prabhu Desai | Okay. I was a bit confused as per who the "infinitely many.." is represented. | |
| Aug 13, 2010 at 5:57 | vote | accept | Akshar Prabhu Desai | ||
| Aug 12, 2010 at 22:18 | comment | added | Andrés E. Caicedo | Or: For all m there is a k larger than m such that f(k). | |
| Aug 12, 2010 at 20:48 | history | answered | Robin Chapman | CC BY-SA 2.5 |