# axiomatizable class

Let $L$ be a first order language and $T$ a theory in $L$. Recall that a model $M$ is an $L$-structure such that $M$ satisfies every sentence in $T$. We say that the structure $M$ is a model of $T$. Let us write $\operatorname{Mod}(T)$ the class of all $L$-structures that are models of $T$.

Definition. A class $K$ of $L$-structures is said to be axiomatizable if there is a theory $T$ such that $K=\operatorname{Mod}(T)$. Furthermore, $K$ is a finitely axiomatizable or elemenary class if $T$ is finite.

For example, the class of groups is elementary (and hence axiomatizable), because the set of group axioms is finite. However, the class of infinite groups is axiomatizable but not elementary. Similarly, the class of $R$-modules is elementary iff $R$ is finite. The class of locally finite groups is an example of a non-axiomatizable class.

Remarks.

• $K$ is an elementary class iff there is a sentence $\varphi$ such that $K=\operatorname{Mod}(\{\varphi\})$, for sentences $\varphi_{1},\ldots,\varphi_{n}$ can be combined to form $\varphi_{1}\wedge\cdots\wedge\varphi_{n}$, which is also a sentence since it has no free variables.

• A class is axiomatizable iff it is an intersection of elementary classes. As such elementary class is sometimes abbreviated EC, and axiomatizable class EC${}_{\Delta}$, where $\Delta$ means is another symbol for intersection.

• A caution to the reader: some authors call an elementary class an axiomatizable class that is defined here.

Title axiomatizable class AxiomatizableClass 2013-03-22 17:34:38 2013-03-22 17:34:38 CWoo (3771) CWoo (3771) 7 CWoo (3771) Definition msc 03C52 axiomatisable class finitely axiomatizable finitely axiomatisable EC EC${}_{\Delta}$ Supercategories3 AxiomaticAndCategoricalFoundationsOfMathematicsII2 elementary class