Timeline for What is the consistency strength of "Every set is a member of a transitive model"?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 28, 2017 at 13:19 | vote | accept | Asaf Karagila♦ | ||
| Apr 28, 2017 at 10:54 | answer | added | Joel David Hamkins | timeline score: 12 | |
| Apr 28, 2017 at 8:48 | history | undeleted | Asaf Karagila♦ | ||
| Apr 28, 2017 at 8:48 | history | deleted | Asaf Karagila♦ | via Vote | |
| Apr 28, 2017 at 8:42 | history | undeleted | Asaf Karagila♦ | ||
| Apr 28, 2017 at 8:42 | history | deleted | Asaf Karagila♦ | via Vote | |
| Apr 28, 2017 at 8:41 | comment | added | Asaf Karagila♦ | Yes. Transitive model means a model of ZFC. The Cantor's Attic entry does have a section about the "Transitive model universe axiom". Nothing about its exact consistency strength, though. | |
| Apr 28, 2017 at 8:00 | comment | added | Thomas Benjamin | If your transitive model $M$ is a transitive $ZFC$ model, then you may find your answer in the "Transitive $ZFC$ Model" entry of Cantor's Attic (it's in the first paragraph of that entry). Does the argument contained therein answer your question? | |
| Apr 28, 2017 at 6:54 | history | asked | Asaf Karagila♦ | CC BY-SA 3.0 |