nLab
elementary class of structures

Contents

Definition

A class KK of structures of a given signature is an elementary class if there is a first-order theory TT such that KK consists precisely of all models of TT.

There is a vast generalizations for higher-order theories (and more) abstract elementary class, metric abstract elementary class.

References

category: model theory

Revised on March 26, 2014 03:57:14 by Urs Schreiber (185.37.147.12)