Timeline for Is every set equinumerous to a well founded set in acyclic ZF?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6 at 2:34 | comment | added | Hanul Jeon | I guess a variation of Mostowski's ordered model gives a counterexample, but I have not checked things in detail. I sketched a construction of the model on my website post. | |
| Jan 5 at 12:10 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 2 characters in body
|
| Jan 5 at 10:09 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |