Timeline for Computable nonstandard models for weak systems of arithmetic
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 9, 2010 at 22:34 | comment | added | Joel David Hamkins | Dave, you seem to have an extra "if" in your first sentence. | |
| Sep 9, 2010 at 18:52 | history | edited | Dave Marker | CC BY-SA 2.5 |
added 4 characters in body
|
| Sep 9, 2010 at 18:12 | history | edited | Dave Marker | CC BY-SA 2.5 |
added 15 characters in body
|
| Sep 9, 2010 at 12:35 | history | answered | Dave Marker | CC BY-SA 2.5 |