You are here
Homeaxiomatizable class
Primary tabs
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 nonaxiomatizable 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.
Mathematics Subject Classification
03C52 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
 Corrections