Embeddings and Substructures
摘要
We study embeddings of structures and how the truth of formulas is preserved under embeddings. Elementary embeddings are introduced and the Tarski–Vaught test for elementary embeddings and the Downward Löwenheim–Skolem Theorem are proved.