nLab elementary class of structures




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.


category: model theory

Last revised on February 23, 2017 at 07:33:24. See the history of this page for a list of all contributions to it.