Timeline for Models of $\mathsf{ZF^-_2}$ over $\mathsf{ZF}$
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 23, 2020 at 7:40 | history | edited | Hanul Jeon | CC BY-SA 4.0 |
added 2 characters in body
|
| S Nov 22, 2020 at 19:41 | history | suggested | gmvh |
Added top-level tag
|
|
| Nov 22, 2020 at 19:37 | review | Suggested edits | |||
| S Nov 22, 2020 at 19:41 | |||||
| Nov 22, 2020 at 16:55 | comment | added | Asaf Karagila♦ | Looking at the Lubarsky–Rathjen definition, it seems that their $H(V_\kappa)$ is the same as Goldberg's $H_\kappa$. | |
| Nov 22, 2020 at 14:43 | comment | added | Asaf Karagila♦ | I suppose the natural line of reasoning is to show that models of $\sf ZF_2^-$ are closed under Lindenbaum numbers, as a start. | |
| Nov 22, 2020 at 14:15 | comment | added | Asaf Karagila♦ | It was mentioned at the end, during the questions part. | |
| Nov 22, 2020 at 14:14 | comment | added | Hanul Jeon | I don't understand myself why I don't remember it, although I also took this talk. | |
| Nov 22, 2020 at 14:06 | comment | added | Asaf Karagila♦ | He mentioned it in his Bristol-Oxford talk. $H_\kappa$ is the union of all transitive sets which are the image of $V_\alpha$ for $\alpha<\kappa$. I think this one works better in the context of large cardinals, though. | |
| Nov 22, 2020 at 14:03 | comment | added | Hanul Jeon | @Asaf Holmes' definition could be the same as that of Lubarsky and Rathjen up to some modifications (like replacing $<\kappa$ to $\kappa$), as both of them refer to the same Jech's paper (but I do not check it yet.) Also, I wonder how I can find Goldberg's definition. | |
| Nov 22, 2020 at 13:55 | comment | added | Asaf Karagila♦ | Apparently there's also one due to Randall Holmes, for which $H_\kappa$ would contain only well orderable sets; but presumably $H_{V_\kappa}$ might work. And there's Gabe Goldberg's definition, but that one is a bit like Holmes' when using $V_\kappa$ instead of $\kappa$, I think, but probably not really the same. | |
| Nov 22, 2020 at 12:28 | history | asked | Hanul Jeon | CC BY-SA 4.0 |