Timeline for Computable nonstandard models for weak systems of arithmetic
Current License: CC BY-SA 4.0
11 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 14 at 14:19 | history | edited | Mikhail Katz |
edited tags
|
|
S Apr 23 at 5:01 | history | suggested | myrmecophagaTridactyla | CC BY-SA 4.0 |
Corrected spelling of arithmetic in the title
|
Apr 22 at 20:45 | review | Suggested edits | |||
S Apr 23 at 5:01 | |||||
Apr 22 at 17:53 | comment | added | The Amplitwist | Reposting the link mentioned in the previous comment so that it appears in the "Linked" questions list: Are computable models sufficient? | |
Apr 22 at 17:46 | history | edited | Joel David Hamkins |
edited tags
|
|
Feb 8, 2013 at 23:34 | answer | added | Kaveh | timeline score: 14 | |
Feb 8, 2013 at 21:45 | comment | added | Kaveh | related: mathoverflow.net/questions/34240/… | |
Sep 9, 2010 at 20:16 | vote | accept | CommunityBot | ||
Sep 9, 2010 at 12:35 | answer | added | Dave Marker | timeline score: 11 | |
Sep 9, 2010 at 11:26 | answer | added | Joel David Hamkins | timeline score: 14 | |
Sep 9, 2010 at 9:30 | history | asked | user5810 | CC BY-SA 2.5 |