Timeline for How does the existence property fail in $PA$?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25, 2017 at 1:49 | comment | added | Frode Alfson Bjørdal | Many thanks for removing the shale from my eyes! I remember having seen similar constructions. | |
| Apr 25, 2017 at 1:48 | vote | accept | Frode Alfson Bjørdal | ||
| Apr 25, 2017 at 1:41 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |