Timeline for Is every true statement about the natural numbers provable in ZFC?
Current License: CC BY-SA 3.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 2, 2018 at 11:41 | vote | accept | roymend | ||
Jan 2, 2018 at 1:06 | history | edited | hmakholm left over Monica | CC BY-SA 3.0 |
added 24 characters in body
|
Jan 2, 2018 at 1:05 | comment | added | Asaf Karagila♦ | Even with different $\Bbb N$'s, they can have completely different second-order models, since those depend on $\mathcal P(\Bbb N)$. | |
Jan 2, 2018 at 1:02 | history | answered | hmakholm left over Monica | CC BY-SA 3.0 |