Timeline for How does the existence property fail in $PA$?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25, 2017 at 15:47 | comment | added | Frode Alfson Bjørdal | Yes, this holds as $PA $ is $/Sigma_1$-complete. | |
| Apr 25, 2017 at 14:44 | comment | added | Henry Towsner | Note that part of why it's difficult to come up with an easy example is that PA if $\phi(x)$ has only bounded quantifiers and $PA\vdash\exists x\ \phi(x)$ then there is a specific number $n$ so that $PA\vdash\phi(n)$. | |
| Apr 25, 2017 at 1:48 | vote | accept | Frode Alfson Bjørdal | ||
| Apr 25, 2017 at 1:41 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Apr 25, 2017 at 1:29 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |