Timeline for Injection into a proper class and choice without regularity
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 26, 2019 at 16:16 | comment | added | Holo | @AsafKaragila I see, anyhow thanks for pointing it out, next time I will use $\sf ZF$-regularity from the start | |
| Apr 26, 2019 at 16:09 | comment | added | Asaf Karagila♦ | That's really odd. It's like someone using $L[R]$ to denote $L(\Bbb R)$ in a new book. | |
| Apr 26, 2019 at 16:07 | comment | added | Holo | @AsafKaragila New edition | |
| Apr 26, 2019 at 16:04 | history | edited | Holo | CC BY-SA 4.0 |
added 48 characters in body
|
| Apr 26, 2019 at 16:04 | comment | added | Asaf Karagila♦ | Is that the new one or the old one? | |
| Apr 26, 2019 at 16:03 | comment | added | Holo | @AsafKaragila in "kenneth kunen set theory an introduction to independence proofs" he uses $\sf ZF^-$ to $\sf ZF$-regularity, I will change it to "$\sf ZF$-regularity" in the question to make it clearer. | |
| Apr 26, 2019 at 15:38 | comment | added | Asaf Karagila♦ | The notation $\sf ZF^-$ usually means "without power set". I don't think there is a very standard notation for "without regularity", but $\sf ZF_0$ was somewhat prevalent in "the old days". | |
| Apr 26, 2019 at 10:32 | vote | accept | Holo | ||
| Apr 26, 2019 at 2:13 | history | became hot network question | |||
| Apr 25, 2019 at 23:20 | answer | added | Asaf Karagila♦ | timeline score: 8 | |
| Apr 25, 2019 at 22:19 | comment | added | Asaf Karagila♦ | math.stackexchange.com/questions/1337583/… might be helpful? | |
| Apr 25, 2019 at 21:27 | history | edited | András Bátkai | CC BY-SA 4.0 |
added arxiv tag
|
| Apr 25, 2019 at 21:25 | review | First posts | |||
| Apr 25, 2019 at 21:28 | |||||
| Apr 25, 2019 at 21:20 | history | asked | Holo | CC BY-SA 4.0 |