Sahlqvist formula
article-link
What links here
Elementary class
List of mathematical logic topics
article-link
Model theory
article-link
Mathematical logic
article-link
First-order logic
article-link
Axiomatizable class
redirect
Module (model theory)
redirect