**Definition 1:** Let $M$ be a $\mathcal{L}$ - structure and $A\subseteq Dom(M)$. Define:

$Def_{A}(M):=\{X\subseteq Dom(M)~|~\exists n\in \omega~~\exists \varphi (x,y_1,...,y_n)\in \mathcal{L}-Form~~\exists b_1,...,b_n \in A;X=\{a\in Dom(M)~|~M\vDash \varphi (a,b_1,...,b_n)\}\}$ 

**Definition 2:** Let $\kappa >\lambda\geq \aleph_{0}$ be two cardinals and $M$ a $\mathcal{L}$ - structure and $A\subseteq Dom(M)$. We say the model $M$ is $(\kappa , \lambda)$ - minimal over $A$ if $~~\forall X\in Def_{A}(M)~~~~~|X|\geq \kappa~\vee~|X|\leq \lambda$.  

The following result is proved by Rowbottom:

>**Theorem:** If $\kappa$ is a measurable cardinal and $\mu$ a normal measure on it then:
>
>Every $\mathcal{L}$ - structure $M$ with the following properties:
>
>**(a)** $\kappa\subseteq Dom(M)$
>
>**(b)** $|\mathcal{L}|+\aleph_{0}<\kappa$
>
>has an elementary substructure like $N$ with following properties:
>
>**(c)** $\mu(Dom(N)\cap \kappa)=1$
>
>**(d)** $N$ is a $(\kappa ,|\mathcal{L}|+\aleph_{0})$ - minimal model over $\emptyset$.

**Question:** Is there any large cardinal $\kappa$ (larger than measurables) such that Rowbottom's theorem be trure by extending the parameter set $\emptyset$ in the statement (d) with $Dom(N)$?