Timeline for Extension of the Peano Axioms?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 17, 2011 at 13:09 | answer | added | Richard Rast | timeline score: 4 | |
| Oct 17, 2011 at 4:49 | comment | added | David Feldman | I suspect that the OP means something nonstandard by "nonstandard," namely not elementarily equivalent to the standard model. The theory of all first-order propositions that hold true in the standard model would only have models elementarily equivalent to the standard model, but this theory would lack even a recursive axiomatization, by Godel. | |
| Oct 17, 2011 at 2:03 | answer | added | Jeff Burdges | timeline score: 3 | |
| Oct 17, 2011 at 1:49 | vote | accept | Lawrence Wickert | ||
| Oct 17, 2011 at 1:18 | comment | added | Qiaochu Yuan | Not if you restrict to first-order axioms, thanks to Lowenheim-Skolem: en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem . If you don't, then see en.wikipedia.org/wiki/… . | |
| Oct 17, 2011 at 1:17 | answer | added | François G. Dorais | timeline score: 7 | |
| Oct 17, 2011 at 0:54 | history | asked | Lawrence Wickert | CC BY-SA 3.0 |