Children: Model theory
Decidable sublanguages of set theory 1970-01-01
Definable set 1970-01-01
Diagram (mathematical logic) 1970-01-01
Differentially closed field 1970-01-01
Ehrenfeucht–Fraïssé game 1970-01-01
Ehrenfeucht–Mostowski theorem 1970-01-01
Elementary class 1970-01-01
Elementary diagram 1970-01-01
Elementary equivalence 1970-01-01
End extension 1970-01-01
Equisatisfiability 1970-01-01
Existentially closed model 1970-01-01
Extender (set theory) 1970-01-01
Feferman–Vaught theorem 1970-01-01
Finite model theory 1970-01-01
First-order logic 1970-01-01
Forking extension 1970-01-01
Fraïssé limit 1970-01-01
Functional predicate 1970-01-01
General frame 1970-01-01