Timeline for About the definitions of well-foundedness in this extension of NFU that interprets ZFC?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 23 at 20:32 | answer | added | Zuhair Al-Johar | timeline score: -1 | |
| Oct 20 at 20:15 | history | edited | Zuhair Al-Johar |
edited tags
|
|
| Oct 20 at 11:47 | comment | added | Zuhair Al-Johar | @PeterLeFanuLumsdaine, to ease a definition of well foundedness that obeys Extensionality. | |
| Oct 20 at 11:35 | comment | added | Peter LeFanu Lumsdaine | What’s the purpose of taking the atoms to contain the Quine atom, rather than saying they contain no elements, as is more usual? | |
| Oct 20 at 8:37 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 196 characters in body
|
| Oct 20 at 7:29 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |