Timeline for Consistency results using nonstandard models
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 4, 2014 at 16:43 | vote | accept | Mohammad Golshani | ||
| Oct 19, 2013 at 5:12 | history | edited | Mohammad Golshani |
edited tags
|
|
| Sep 12, 2013 at 6:18 | vote | accept | Mohammad Golshani | ||
| Sep 12, 2013 at 6:18 | |||||
| Sep 12, 2013 at 6:15 | answer | added | Andrés E. Caicedo | timeline score: 7 | |
| Sep 12, 2013 at 6:12 | comment | added | Asaf Karagila♦ | The obvious one that "Not all models of ZFC agree on the natural numbers", I guess is too obvious? As would Con(ZFC) sort of statements, I suppose. :) | |
| Sep 12, 2013 at 5:06 | history | edited | Mohammad Golshani | CC BY-SA 3.0 |
deleted 167 characters in body; edited title
|
| Sep 12, 2013 at 4:35 | history | asked | Mohammad Golshani | CC BY-SA 3.0 |