Preservation and Axiomatizability

Part of the Studies in Universal Logic book series (SUL)


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.


Partial Algebra Inclusion System Elementary Extension Elementary Diagram Existential Sentence 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Personalised recommendations