Timeline for Can this theory that internalize sets from external functions be consistent?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 6, 2021 at 11:28 | comment | added | Zuhair Al-Johar | @NoahSchweber, Yes! For example there is no bijection in $V$ from $\aleph_\omega$ to $\aleph_{\omega+1}$, but there is one externally! So there is a subset of $V$ that is a bijection from $\aleph_\omega$ to $\aleph_{\omega+1}$ yet it is NOT an element of $V$. | |
| Apr 6, 2021 at 1:50 | comment | added | Noah Schweber | To clarify, in the size axiom the functions witnessing $\vert x\vert\le\aleph_\omega$ need not in general be elements of $V$, but $\aleph_\omega$ is the thing $V$ thinks is $\aleph_\omega$, correct? | |
| Apr 5, 2021 at 22:57 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |