Timeline for Is every real a member of some CTM?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 18, 2022 at 18:01 | comment | added | Alex O. | Why $L_\beta$ can "see" smaller models? Model of $ZFC$ is model of "ZFC+exist model of ZFC"? | |
| Jul 14, 2015 at 0:50 | comment | added | Andrés E. Caicedo | Let me add a minor comment: The statement that every real is a member of some CTM is equiconsistent with the statement that there are unboundedly many $\alpha<\omega_1^L$ such that $L_\alpha\models\mathsf{ZFC}$. | |
| Jul 13, 2015 at 12:52 | vote | accept | user38200 | ||
| Jul 13, 2015 at 12:48 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 124 characters in body
|
| Jul 13, 2015 at 12:43 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 124 characters in body
|
| Jul 13, 2015 at 12:33 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 13 characters in body
|
| Jul 13, 2015 at 12:20 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |