Satisfaction is not absolute

Joel David Hamkins, Ruizhi Yang

We prove that the satisfaction relation $\mathcal{N}\models \phi [\vec{a}]$ of first-order logic is not absolute between models of set theory having the structure $\mathcal{N}$ and the f…