Timeline for The disjunction property in Peano Arithmetic?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 28, 2011 at 14:23 | comment | added | Andrés E. Caicedo | Hi Joel. Yes, I think so. Montague states it in a somewhat peculiar language, but it is proved in his paper. As with the fixed point lemma, it may well be that Smullyan was responsible for its wide dissemination. | |
| Apr 28, 2011 at 10:41 | comment | added | Joel David Hamkins | Thanks, Andres, for the references and remarks. In various books Smullyan does have his double recursion theorem, which amonnts to the analogous statement for computable functions, and uses it to build pairs and larger systems of self-referential sentences. But are we to credit the double fixed point theorem to Montague? | |
| Apr 28, 2011 at 5:59 | history | answered | Andrés E. Caicedo | CC BY-SA 3.0 |