User:C7X

I smell like BEAF

Relativization and satisfaction
For a formula \(\phi\) in a first-order language, \(\phi^x\leftrightarrow (x\vDash\phi)\).

Proof: WIP

Note: In an appendix Jech said \((M,E)\vDash\phi\) denotes the relativization of \(\phi\) to (something), so maybe they're equivalent?