Timeline for Can the "real" Peano Arithmetic be inconsistent?
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 20, 2023 at 10:03 | comment | added | Mikhail Katz | @JoelDavidHamkins, According to what you wrote, theories-of-arithmetic is the right tag, so it would not seem appropriate to create a rival tag "nonstandard models". | |
| Dec 19, 2023 at 19:01 | comment | added | Joel David Hamkins | For this question and others like it, I conceive of the top as "models of PA" or "models of arithmetic" rather than "nonstandard models", even though most of the are nonstandard, because the standard model is also often part of the investigation. I think you are free to go ahead and create any tag you want. | |
| Dec 19, 2023 at 17:30 | comment | added | Mikhail Katz | @JoelDavidHamkins, at MSE there are separate tags for nonstandard analysis and nonstandard models. At MO there is only a tag for nonstandard analysis. It seems that there are many questions here that would fit well under a tag "nonstandard models" (including this question). Should such a tag be created? | |
| Dec 19, 2023 at 13:49 | history | edited | Joel David Hamkins |
edited tags
|
|
| May 5, 2017 at 13:58 | vote | accept | Ruizhi Yang | ||
| May 5, 2017 at 2:20 | answer | added | Joel David Hamkins | timeline score: 11 | |
| May 5, 2017 at 2:11 | comment | added | Joel David Hamkins | There are also nonstandard proofs with only one step, since they assert an nonstandard axiom. This can occur even for assertions with low-level complexity, simply because they have a term of nonstandard length, such as $1+1+1+\cdots+1$, with a nonstandard number of $1$s. | |
| May 5, 2017 at 2:08 | comment | added | Ruizhi Yang | By "nonstandard proof", I mean a proof whose code is a nonstandard number. It is probably a proof with a nonstandard number of steps. | |
| May 5, 2017 at 2:03 | comment | added | Steven Landsburg | What is a "nonstandard proof"? Is it a proof with a nonstandard number of steps? | |
| May 5, 2017 at 1:51 | history | edited | Ruizhi Yang | CC BY-SA 3.0 |
added 3 characters in body
|
| May 5, 2017 at 1:45 | history | asked | Ruizhi Yang | CC BY-SA 3.0 |