Quantifier elimination
article-link
What links here
Substructure (mathematics)
Back-and-forth method
article-link
Inner model
article-link
Elementary equivalence
article-link
Inclusion map
article-link
Closure operator
article-link
Skolem normal form
article-link
List of mathematical logic topics
article-link
Closure (mathematics)
article-link
Subalgebra
article-link
Model theory
article-link
Isomorphism
article-link
Submodel
redirect