Timeline for Standard model of ZFC
Current License: CC BY-SA 3.0
22 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 8, 2017 at 5:57 | history | protected | Asaf Karagila♦ | ||
| Mar 22, 2013 at 16:23 | comment | added | Jaykov Foukzon | Noah S. You rave. My question is put clearly and no any relation to my statements in other places has. Moreover I never addressed to whom or with intentions to check my proofs and the more so their sketches. | |
| Mar 18, 2013 at 14:21 | comment | added | Timothy Chow | Noah, thanks for the clarification. I'm on FOM and I saw that posting, but I had forgotten the author's name. I agree with you that in light of that context, this question is not appropriate for MO, and I have just voted to close as "off topic." | |
| Mar 17, 2013 at 15:47 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:47 | |||||
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:46 | |||||
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:46 | |||||
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:46 | |||||
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:46 | |||||
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:46 | |||||
| Mar 17, 2013 at 3:18 | comment | added | Jaykov Foukzon | Joel David Hamkins.Yes of course. | |
| Mar 17, 2013 at 0:32 | answer | added | Andreas Blass | timeline score: 12 | |
| Mar 17, 2013 at 0:17 | comment | added | Andreas Blass | No, because the axioms of ZFC + Con(ZFC) are true and there are standard models of ZFC. (Of course, I'm not saying that these things are provable in ZFC, only that they are true.) | |
| Mar 16, 2013 at 21:24 | comment | added | Joel David Hamkins | Jaykov, as I explain in my answer, if this were true, it would refute all large cardinal axioms. Are you claiming to have such a proof? | |
| Mar 16, 2013 at 21:01 | comment | added | Jaykov Foukzon | I'm asking does it follow from ZFC+ there exists some model of ZFC | |
| Mar 16, 2013 at 20:57 | comment | added | Jaykov Foukzon | Timothy Chow >What you're asking is, as long as there exists some model of ZFC, does it follow that no models are standard? Yes of course. | |
| Mar 16, 2013 at 20:45 | comment | added | Noah Schweber | A clarification: I believe Jaykov is referring to the content of a posting he made to the Foundations of Mathematics email list, about a purported proof that ZFC has no well-founded models, which led to a discussion about models of ZFC. With Jaykov's permission, I can post a link to the original email (the FOM archives are public and searchable, so in principle anyone can find it, but I would rather not link it without permission), which contains a link to the purported proof. If this is correct, I would like to point out that MO is not for testing conjectures or checking original work. | |
| Mar 16, 2013 at 20:31 | comment | added | Timothy Chow | Are you sure that the question you stated is the one you really wanted to ask? What you're asking is, as long as there exists some model of ZFC, does it follow that no models are standard? Maybe you meant to ask, as long as there exists some model of ZFC, does it follow that some model is standard? | |
| Mar 16, 2013 at 19:44 | history | edited | Jaykov Foukzon | CC BY-SA 3.0 |
added 9 characters in body
|
| Mar 16, 2013 at 19:37 | history | edited | Jaykov Foukzon | CC BY-SA 3.0 |
added 29 characters in body
|
| Mar 16, 2013 at 19:36 | answer | added | Joel David Hamkins | timeline score: 20 | |
| Mar 16, 2013 at 19:16 | history | asked | Jaykov Foukzon | CC BY-SA 3.0 |