Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Birkhäuser Verlag AG
About this chapter
Cite this chapter
(2008). Preservation and Axiomatizability. In: Institution-independent Model Theory. Studies in Universal Logic. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8708-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8708-2_8
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8707-5
Online ISBN: 978-3-7643-8708-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)