Timeline for If NF is consistent, then is this form of Extensionality consistent with Stratified Comprehension?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 9, 2022 at 4:55 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 345 characters in body
|
| Apr 6, 2022 at 18:14 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 4 characters in body
|
| Apr 6, 2022 at 17:43 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 50 characters in body
|
| Apr 6, 2022 at 17:37 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 17 characters in body
|
| Apr 6, 2022 at 17:32 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 17 characters in body
|
| Apr 6, 2022 at 16:49 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |