Skip to main content
1 of 3
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 $M[G]$ is a (set) generic extension of $N.$

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

Toby Meadows
  • 1.1k
  • 5
  • 17