Maths›03. Logic and Foundations4.3 Elementary EquivalenceElementary equivalence, theories of structures, and preservation of first order sentences.
Maths›03. Logic and Foundations2.4 Satisfaction and ModelsSatisfaction, truth in a structure, models of sentences, and theories in first order logic.