**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 true by extending the parameter set $\emptyset$ in the statement (d) to $Dom(N)$?