Timeline for What is the set of axioms for this theory extracted from what is provable in the minimal model of ZFC?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 16, 2022 at 5:40 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 16 characters in body
|
| May 16, 2022 at 5:01 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 217 characters in body
|
| May 16, 2022 at 4:45 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |