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 29, 2011 at 3:19 | comment | added | Alex Gavrilov | It was very wrong of me to write that "nonstandard numbers may be incompatible". Perhaps, I did not wake actually up. If I only new how to edit comments.... What surprised me is how Joel managed to show that something is $provable$ by ruling out all the models where it is wrong. I did not expect this to be possible - but, as I said, I am not very good in models. | |
| Apr 28, 2011 at 6:36 | history | edited | Alex Gavrilov | CC BY-SA 3.0 |
added 2 characters in body; added 2 characters in body
|
| Apr 28, 2011 at 6:21 | history | answered | Alex Gavrilov | CC BY-SA 3.0 |