Timeline for Can we have the well founded world of NF obeying ZF?
Current License: CC BY-SA 4.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Feb 25, 2020 at 18:42 | comment | added | Zuhair Al-Johar | @MattF. is there a limit to the total number of times of editing a question on MathOverflow. | |
| Feb 25, 2020 at 18:29 | comment | added | user44143 | Editing a question 10 times is a lot. | |
| Feb 25, 2020 at 18:22 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited body
|
| Feb 25, 2020 at 4:42 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 93 characters in body
|
| Feb 25, 2020 at 4:36 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 93 characters in body
|
| Feb 24, 2020 at 21:09 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 1 character in body
|
| Feb 24, 2020 at 19:50 | comment | added | Noah Schweber | Derp, not my finest moment! | |
| Feb 24, 2020 at 19:48 | comment | added | Zuhair Al-Johar | @NoahSchweber, the other direction in the definition of $V$ is trivial! | |
| Feb 24, 2020 at 19:46 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 152 characters in body
|
| Feb 24, 2020 at 19:44 | comment | added | Zuhair Al-Johar | @NoahSchweber, Yes. correct. NFU is more understood than NF. | |
| Feb 24, 2020 at 19:24 | comment | added | Noah Schweber | This is an interesting question - I think it might be worth allowing urelements, though, given that NF is comparatively ill-understood. | |
| Feb 24, 2020 at 18:57 | comment | added | Zuhair Al-Johar | @NoahSchweber. Yes! I've edited my posting to clarify this issue. | |
| Feb 24, 2020 at 18:57 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 5 characters in body
|
| Feb 24, 2020 at 18:51 | comment | added | Zuhair Al-Johar | $V$ in ML has well defined, it is the SET of all sets. I'll add it | |
| Feb 24, 2020 at 16:07 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 89 characters in body
|
| Feb 24, 2020 at 15:51 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 112 characters in body
|
| Feb 24, 2020 at 10:35 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 277 characters in body
|
| Feb 24, 2020 at 9:18 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |