Tarski–Vaught test

Redirect to:

• Elementary equivalence#Tarski–Vaught test