Timeline for Can we have external automorphisms over intersectional models?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 10 at 17:03 | history | became hot network question | |||
| May 10 at 13:55 | vote | accept | Zuhair Al-Johar | ||
| May 10 at 13:02 | answer | added | Joel David Hamkins | timeline score: 5 | |
| May 10 at 12:22 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins, I know! That's why you cannot have the ambient theory be ZF, since I need $\in$ to be the one of the ambient theory. I also made the typo of writing it first as $\sf ZF$, but it should be $\sf ZF-Reg$. | |
| May 10 at 11:49 | comment | added | Joel David Hamkins | Ah, sorry, I missed the Reg part. Why use such a weird ambient theory? With reg, no standard model has any nontrivial automorphism at all, and intersectionality is irrelevant. | |
| May 10 at 11:30 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 11 characters in body
|
| May 10 at 11:29 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins, Yes! For both, but the ambient theory of models is ZF-Reg. Also for Mac Lane set theory I take the version that doesn't have Regularity among its axioms. I've edited. Thanks! | |
| May 10 at 11:25 | comment | added | Joel David Hamkins | Also, I guess you intend that the automorphism is nontrivial. | |
| May 10 at 11:25 | comment | added | Joel David Hamkins | Do you intend that the membership relation of $M$ is the ambient membership relation $\in$? | |
| May 10 at 9:00 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |