Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Here, $\, j_U, \, j_D$ are the canonical elementary embeddings induced by $U,D$ respectively.
I note that it is consistent with the existence of a measurable that the answer be yesyes: it is true in the model $L[D]$ for $D$ a measure on $\kappa$.
Here, $\, j_U, \, j_D$ are the canonical elementary embeddings induced by $U,D$ respectively.
I note that it is consistent with the existence of a measurable that the answer be yes: it is true in the model $L[D]$ for $D$ a measure on $\kappa$.
Here, $\, j_U, \, j_D$ are the canonical elementary embeddings induced by $U,D$ respectively.
I note that it is consistent with the existence of a measurable that the answer be yes: it is true in the model $L[D]$ for $D$ a measure on $\kappa$.