Timeline for Is acyclic ZF consistent?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16, 2021 at 6:59 | vote | accept | Zuhair Al-Johar | ||
| Feb 16, 2021 at 6:58 | comment | added | Zuhair Al-Johar | Thank you for that answer. The graph you defined is cyclic so it won't apply. But anyhow you are right as far as regarding my intention behind developing this theory! It appears that in order to save this approach I must forbid $\mathcal R$ from appearing in separation and replacement. | |
| Feb 15, 2021 at 20:39 | comment | added | Greg Kirmayer | D is a directed graph. What is the cycle? | |
| Feb 15, 2021 at 19:05 | history | answered | Greg Kirmayer | CC BY-SA 4.0 |