The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Tarski-Vaught Test
Let be any Language.
Let and be -Structures
such that is a Substructure of .
Let be a set of -formulas closed under subformulas.
Then all formulas in are Absolute between and
if and only if
for any formula where has Free Variables including
and for any such that
there is some such that