atomic
complete
definable
diagram
DLO
elementary diagram
elementarily equivalent
elementary embedding
elementary extension
embedding
elementary substructure
extension
filter
homomorphism
homogeneous
isomorphism
isolated
categorical
saturated
theory
n-type
partial elementary
polynomial map
prime
quantifier elimination
strongly minimal
substructure
ultrafilter