Timeline for Does every consistent extension of ZF have a model in the minimal transitive model of ZFC?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 3, 2023 at 10:20 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 1 character in body
|
| Jan 2, 2023 at 0:13 | history | answered | Andreas Blass | CC BY-SA 4.0 |