Timeline for Does this ZFC+V=L like theory, have a limit on large cardinal properties?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 26 at 5:10 | comment | added | Zuhair Al-Johar | @JasonStarr, yes, to have my original intention I must forbid this joint action of any finite number of axioms to go against $V \neq L$, like adding that any finite conjunction of axioms of $\sf T$ is an axiom of $\sf T$ also. But that would be messy. | |
| Sep 25 at 23:04 | comment | added | Jason Starr | I get it now. Results that are separately consistent with $V\neq L$ need not be jointly consistent with $V\neq L$. | |
| Sep 25 at 21:55 | comment | added | Joel David Hamkins | My two axioms have that feature. And yet jointly they imply V=L. | |
| Sep 25 at 21:06 | comment | added | Jason Starr | I think the poster only wants to add consequences of $V=L$ that are also consistent with $V\neq L$. | |
| Sep 25 at 17:11 | vote | accept | Zuhair Al-Johar | ||
| Sep 25 at 16:08 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 53 characters in body
|
| Sep 25 at 15:48 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |