PlanetMath: axiomatizable class

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

axiomatizable class

(Definition)

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

Definition. A class of -structures is said to be axiomatizable if there is a theory such that $K=\operatorname{Mod}(T)$ . Furthermore, is a finitely axiomatizable or elemenary class if 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 -modules is elementary iff is finite. The class of locally finite groups is an example of a non-axiomatizable class.

Remarks.

is an elementary class iff there is a sentence $\varphi$ such that $K=\operatorname{Mod}(\lbrace \varphi \rbrace)$ , 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.