Timeline for Can one force there to be an elementary embedding $j:V_{\lambda}\rightarrow V_{\lambda}$ for some inaccessible $\lambda$?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 17, 2022 at 22:28 | comment | added | Arvid Samuelsson | @NoahSchweber Because the proof relies on theorem 11.10, and an argument in the proof of theorem 11.10 seems to prove an inconsistency, so there must be something wrong with my understanding of that proof. | |
| Sep 17, 2022 at 0:52 | comment | added | Gabe Goldberg | Actually this is a theorem originally due to Martin, I think. If one Prikry forces with the normal measure associated to an I2 embedding, the critical point becomes an I3 cardinal. This should follow from results in Laver’s paper “Implications between very large cardinals.” Similarly one can Prikry force at an I1 cardinal to make it I2, which is probably due to Laver. Such things should continue to I0, and then would likely be due to Woodin and Cramer. | |
| Sep 17, 2022 at 0:31 | comment | added | Noah Schweber | What about the proof raises doubts? | |
| Sep 16, 2022 at 23:19 | history | edited | Arvid Samuelsson | CC BY-SA 4.0 |
added 41 characters in body
|
| Sep 16, 2022 at 23:13 | history | answered | Arvid Samuelsson | CC BY-SA 4.0 |