Timeline for Does allowing Ur-elements in $\sf ZF^*GC$ break bi-interpretability with $\sf ZF^*GC$?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 3, 2023 at 19:01 | vote | accept | Zuhair Al-Johar | ||
| Nov 3, 2023 at 22:30 | |||||
| Nov 3, 2023 at 18:39 | answer | added | Ali Enayat | timeline score: 4 | |
| Nov 3, 2023 at 15:44 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins we add a new primitive total unary function C and add the axioms $y \in x \to C(x) \in x$ and $C(\emptyset) =\emptyset$, and of course $C $ is allowed in collection and separation | |
| Nov 3, 2023 at 15:23 | comment | added | Joel David Hamkins | How do you express GC in the first-order language of set theory? You have a new class relation? And then this relation is allowed in the collection scheme etc.? | |
| Nov 3, 2023 at 7:51 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |