Timeline for Radin generics from iterated ultrapowers

8 events

when toggle format	what		by	license	comment
Apr 9, 2019 at 13:42	vote	accept	Cesare
Apr 7, 2019 at 1:55	comment	added	Mohammad Golshani		The iteration by j may be considered by applying j at successor steps $(j_{0,\alpha+1}=j(j_{0,\alpha}) \circ j)$, and taking direct limits at limit ordinals
Apr 7, 2019 at 1:39	history	edited	Mohammad Golshani	CC BY-SA 4.0	added 23 characters in body
Apr 7, 2019 at 1:28	history	edited	Mohammad Golshani	CC BY-SA 4.0	deleted 29 characters in body
Apr 7, 2019 at 1:12	history	edited	Mohammad Golshani	CC BY-SA 4.0	deleted 105 characters in body
Apr 6, 2019 at 7:28	history	edited	Mohammad Golshani	CC BY-SA 4.0	added 513 characters in body
Apr 4, 2019 at 8:05	comment	added	Cesare		Thanks for the reference! Anyway I'm still having some doubts on it. I may understand that if $j:V\rightarrow M$ is an elementary embedding then what we are iterating not the measures $u_\gamma(1)$ but the extender generating $j$. More precisely, if $j:V\rightarrow M_1$ is generated by $E$ then $V$ thinks $u$ is generated by $E$, hence $M$ thinks that $j(u)$ is generated by $j(E)$. Now as $M_2$ we take the ultrapower of $M_1$ by the extender $j(E)$ so that $M_2$ thinks $j_{2}(u)$ is generated by $j_2(E)$. Does it make sense? Thank you in advance!
Apr 4, 2019 at 4:18	history	answered	Mohammad Golshani	CC BY-SA 4.0