Timeline for Alternative axiom to induction
Current License: CC BY-SA 2.5
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 8, 2010 at 14:24 | answer | added | user5818 | timeline score: 0 | |
| May 2, 2010 at 11:52 | vote | accept | CommunityBot | ||
| Jan 13, 2010 at 2:19 | vote | accept | CommunityBot | ||
| May 2, 2010 at 11:52 | |||||
| Jan 12, 2010 at 13:32 | comment | added | Joel David Hamkins | @Harry & Harald. The question and answers (well, at least the answers) are about the first-order theory PA, not about the second order Peano's axioms, which have only one model as you point out. There is a rich and interesting model theory of models of PA and fragments/extensions of PA. | |
| Jan 12, 2010 at 12:18 | answer | added | Charles Stewart | timeline score: 9 | |
| Dec 19, 2009 at 19:39 | history | edited | Alicia Garcia-Raboso |
edited tags
|
|
| Dec 14, 2009 at 4:06 | vote | accept | CommunityBot | ||
| Jan 13, 2010 at 2:19 | |||||
| Dec 14, 2009 at 1:29 | answer | added | John Goodrick | timeline score: 15 | |
| Dec 13, 2009 at 19:36 | answer | added | Kristal Cantwell | timeline score: 6 | |
| Dec 13, 2009 at 16:35 | comment | added | Harald Hanche-Olsen | To amplify a bit on Harry's comment, any set together with a map which is injective but not onto is a model of the Peano axioms without induction. This class of models seems too wide to be of much use. | |
| Dec 13, 2009 at 15:04 | comment | added | Harry Gindi | If you can't encode peano arithmetic, you can't do peano arithmetic. This question doesn't make any sense. | |
| Dec 13, 2009 at 12:48 | history | asked | user2529 | CC BY-SA 2.5 |