Skip to main content
2 of 3
added 59 characters in body
Toby Meadows
  • 1.1k
  • 5
  • 17

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