Timeline for What is the strength of adding limitation of size and a simple version of reflection to Ackermann set theory?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 21 at 11:48 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 1 character in body
|
| Dec 14, 2018 at 21:04 | vote | accept | Zuhair Al-Johar | ||
| Dec 14, 2018 at 11:45 | history | edited | Fedor Pakhomov | CC BY-SA 4.0 |
ZFC->ZF (K(V) doesn't prove choice)
|
| Dec 14, 2018 at 11:37 | history | edited | Fedor Pakhomov | CC BY-SA 4.0 |
fixed a mistake in the formulation of M
|
| Dec 14, 2018 at 10:11 | history | edited | Fedor Pakhomov | CC BY-SA 4.0 |
I have overlooked that $K(V)$ doesn't contain Foundation
|
| Dec 14, 2018 at 9:40 | history | edited | Fedor Pakhomov | CC BY-SA 4.0 |
clarified the definition of $\mathsf{M}$
|
| Dec 14, 2018 at 9:30 | history | answered | Fedor Pakhomov | CC BY-SA 4.0 |