Preservation and Axiomatizability
Birkhäuser Basel eBooks · 2008
Axiomatizability results express a rather subtle relationship between semantics and syntax. They give complete characterizations of certain classes of theories in purely semantic terms, formulated as closure properties of classes of models under some categorical operators. Perhaps the most famous example is the Birkhoff Variety theorem of equational logic: a class of algebras for a signature is closed under products, sub-algebras, and homomorphic images if and only if it is the class of algebras of an equational theory. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.