Timeline for Can ZF be interpreted in a theory axiomatized by a version of replacement and infinity?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 19, 2018 at 20:41 | comment | added | Zuhair Al-Johar | Yes, it is interesting, I remember I read his dual world approach with his axiom of reducibility. It is nice. | |
| Jan 19, 2018 at 17:16 | history | edited | Zuhair Al-Johar | CC BY-SA 3.0 |
deleted 4 characters in body
|
| Jan 19, 2018 at 11:51 | comment | added | Thomas Benjamin | You might want to take a look at Harvey Friedman's manuscript "Axiomatization of Set Theory by Extensionality, Separation and Reducibility", found on his homepage under the "Downloadable Lecture Notes" section to see what can happen when one removes certain axioms from $ZF$. Very interesting. | |
| Jan 19, 2018 at 10:09 | history | edited | Zuhair Al-Johar | CC BY-SA 3.0 |
deleted 5 characters in body
|
| Jan 19, 2018 at 9:59 | history | edited | Zuhair Al-Johar | CC BY-SA 3.0 |
added 4 characters in body
|
| Jan 18, 2018 at 17:40 | history | asked | Zuhair Al-Johar | CC BY-SA 3.0 |