Skip to main content
3 of 3
edited body
Andrés E. Caicedo
  • 32.5k
  • 5
  • 133
  • 240

Models of ZF intermediate between a model of ZFC and a generic extension

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$?

Toby Meadows
  • 1.1k
  • 5
  • 17