Timeline for Non-standard naturals and goodstein sequences [closed]
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 18, 2015 at 5:12 | history | closed |
Andrés E. Caicedo Stefan Kohl♦ Boris Bukh Kim Morrison |
Not suitable for this site | |
| S Jun 18, 2015 at 5:12 | comment | added | Kim Morrison | I'm voting to close this question because it has been essentially answered in a comment, and is no longer relevant. | |
| Jun 17, 2015 at 3:18 | comment | added | Joel David Hamkins | Since Goodstein's theorem is true in the standard model, all Goodstein sequences terminate in the standard model. The independence result provides nonstandard models in which there are Goodstein sequences that don't terminate. (But meanwhile, there are also nonstandard models of true arithmetic, so it is also true that there are nonstandard models where all Goodstein sequences terminate.) | |
| Jun 16, 2015 at 18:28 | review | Close votes | |||
| Jun 18, 2015 at 5:12 | |||||
| Jun 16, 2015 at 17:20 | answer | added | Andreas Blass | timeline score: 4 | |
| Jun 16, 2015 at 17:16 | review | First posts | |||
| Jun 16, 2015 at 17:25 | |||||
| Jun 16, 2015 at 17:13 | history | asked | g5375637 | CC BY-SA 3.0 |