Let $M$ be a countable model of $ZFC$ and $M[G]$ be a (set) generic extension of $M$. Suppose $N$ is a countable model of $ZF$ with

$$M\subseteq N \subseteq M[G]$$

and that $N=M[x]$ for some $x\in N$; i.e., it is the smallest inner model of $M[G]$ which contains $x$ and $M$.

Is $N$ a symmetric extension of $M$?

Let $M$ be a countable model of $ZFC$ and $M[G]$ be a (set) generic extension of $M$. Suppose $N$ is a countable model of $ZF$ with

$$M\subseteq N \subseteq M[G]$$

and that $N=M(x)$ for some $x\in N$; i.e., it is the smallest inner model of $M[G]$ which contains $x$ and $M$.

Is $N$ a symmetric extension of $M$?

Let $M$ be a countable model of $ZFC$ and $M[G]$ be a (set) generic extension of $M$. Suppose $N$ is a countable model of $ZF$ with

$$M\subseteq N \subseteq M[G]$$

and that $M[G]$ is a (set) generic extension of $N.$

Is $N$ a symmetric extension of $M$?

Let $M$ be a countable model of $ZFC$ and $M[G]$ be a (set) generic extension of $M$. Suppose $N$ is a countable model of $ZF$ with

$$M\subseteq N \subseteq M[G]$$

and that $N=M[x]$ for some $x\in N$; i.e., it is the smallest inner model of $M[G]$ which contains $x$ and $M$.

Is $N$ a symmetric extension of $M$?