Timeline for Is there a proof of independence of AC from Z that is done in Z?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 30, 2022 at 9:35 | vote | accept | Zuhair Al-Johar | ||
| Sep 23, 2022 at 1:49 | history | became hot network question | |||
| Sep 22, 2022 at 19:56 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 20 characters in body
|
| Sep 22, 2022 at 19:15 | answer | added | Noah Schweber | timeline score: 9 | |
| Sep 22, 2022 at 18:42 | comment | added | Zuhair Al-Johar | @NoahSchweber, Yes! In particular the same question in connection to MacLane set theory is of interest. | |
| Sep 22, 2022 at 18:30 | comment | added | Noah Schweber | To clarify, you're asking whether $\mathsf{Z}$ (or even less) can prove "If $\mathsf{Z}$ is consistent then so are $\mathsf{ZC}$ and $\mathsf{Z+\neg AC}$"? I think Mathias has some relevant results but the papers are quite long and my memory is vague. | |
| Sep 22, 2022 at 17:49 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |