**Background**


I am interested in elementary embeddings from a model of set theory into itself. One way of producing such elementary embeddings is when the model is generated by indiscernibles; this idea is very closely related to the existence of sharps. Jech and Kanamori discuss $0^{\#}$ and $0^\dagger$ in detail but don't tell me much about other sharps. More advanced resources are difficult to understand without a lot of background knowledge.


**Hypotheses**


Let $\theta$ be an inaccessible cardinal, and suppose that some set $A$ of measurable cardinals below $\theta$ is a stationary subset of $\theta$. For each $\kappa \in A$, let $\mu\_\kappa$ be a normal measure on $\kappa$, and let $\mathcal{U} = \{ \langle \kappa, \mu\_\kappa \rangle : \kappa \in A \}$. Let $L[\mathcal{U}]\_\theta$ denote those elements of $L[\mathcal{U}]$ of rank less than $\theta$.


**Question statement**


Do there exist large cardinal assumptions which imply the existence of a closed unbounded set of ordinal indiscernibles for $L[\mathcal{U}]\_{\theta}$ such that every order-preserving map of these indiscernibles extends to an elementary embedding $j:L[\mathcal{U}]\_{\theta} \to L[\mathcal{U}]\_{\theta} \, \, ?$


**Remarks**


The large cardinal assumptions may be on $\theta$, the elements of $A$, or some other large cardinal. The values of $\theta$, $A$, and the $\mu\_\kappa$ may be chosen in whatever way you like subject to the hypotheses above -- I just want this to work in some example, not in every example. 


In *The Core Model*, Dodd mentions double mice, a generalization of $0^\dagger$. Maybe some version of these can be used to answer the question affirmatively, but I know nothing about them.



Do indiscernibility embeddings exist for an initial segment of an inner model of many measurable cardinals?
My reading of this question was different from Andreas', because Norman asked for order preserving maps of the indiscernibles to extend to embeddings 
$j:L[U]\_\theta \rightarrow$ $L[U] \_\theta$ 


i.e. the indiscernibles should be below $\theta$ as the ordinal height of the structures mentioned is $\theta$?


In that case the measurable or Ramsey above $\theta$ only guarantees indiscernibles above $\theta$ and so "missing the target"? 


In any case there are generalisations of "double mice" that you surmise that provide a positive answer. Let $M$ be the "least" in a certain canonical well-ordering of all such iterable structure that have a measurable cardinal $\kappa$ which is, in $M$, the limit of measurables cardinals below $\kappa$. (Such structures are called "mice".) By Loewenheim Skolem we may assume that $M$ is countable. `Iterability' here means we may form
all iterated ultrapowers of the first structure $M=M\_0$ using this top measure repeatedly; call the ultrapower structures $M\_\tau$ for all ordinal $\tau$; then all the $M\_\tau$ will be wellfounded. In the $\tau$'th model let $\kappa\_\tau$ be the top-most measurable cardinal. Then $\tau ,\mu \rightarrow \kappa\_\tau<\kappa\_\mu$ and the class of all such $\kappa\_\tau$ forms a closed unbounded class of indiscernibles for the model $W$ "left behind" by these iterates.


[Fornally $W = \bigcup \_ \tau H(\kappa\_\tau)^{M\_\tau}$.]


Then $W$ is the `least' inner model with a proper class of measurables cardinals,
(because as $\tau$ increases the order type of the measurables in the models $M\_\tau$ increases; but these measures are left behind in the lower $H(\kappa\_\tau)^{M\_\tau}$ part
of the model that goes into $W$). The $\kappa\_\tau$ are indiscernibles for it, just as the Silver indiscernibles are for $L$.


The large cardinal assumption is then that "This iterable $M$ exists" just as a parallel
to "$0$-sharp exists" is to $L$.


