Timeline for The axiom $I_0$ in the absence of $AC$
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 7, 2019 at 8:15 | vote | accept | Mohammad Golshani | ||
| Oct 3, 2019 at 7:47 | answer | added | Mohammad Golshani | timeline score: 3 | |
| Jul 26, 2019 at 22:38 | comment | added | Master | I'm not sure what the proof is for Reinhardt cardinals, but if $\kappa$ is super Reinhardt as witnessed by (j), then $V_\kappa\prec V$ and let $\delta$ be the least inaccessible above $\lambda=lim_{n\rightarrow\omega}j^n(\kappa)$. Then $V_\delta\prec V$ and so $j\restriction V_\delta$ extends to an $I-1$ embedding, which is therefore an $I0$ embedding with regular target. | |
| May 23, 2016 at 8:03 | comment | added | Morteza Azad | (+1) Could you please explain more about your interesting remark? Is it a long proof or a short and fairly straightforward one? | |
| Apr 29, 2016 at 15:57 | history | edited | Mohammad Golshani | CC BY-SA 3.0 |
added 119 characters in body
|
| Apr 29, 2016 at 14:23 | history | asked | Mohammad Golshani | CC BY-SA 3.0 |