Difference between revisions of "Axiomatized class"
(Importing text file) |
m (link) |
||
Line 3: | Line 3: | ||
Many classes of algebraic systems studied in mathematics are defined by a system of axioms of a first-order language. For instance, the classes of all Boolean algebras, all groups, all fields, and all lattices are finitely axiomatized. The classes of all torsion-free groups, all fields of characteristic zero and all algebraically closed fields are recursively axiomatized, but not necessarily finitely axiomatized. The theory of axiomatized classes reveals regularities common to all classes of objects defined by a specific language; it has been well developed for first-order languages, and therefore only such classes and formulas will be dealt with in what follows. | Many classes of algebraic systems studied in mathematics are defined by a system of axioms of a first-order language. For instance, the classes of all Boolean algebras, all groups, all fields, and all lattices are finitely axiomatized. The classes of all torsion-free groups, all fields of characteristic zero and all algebraically closed fields are recursively axiomatized, but not necessarily finitely axiomatized. The theory of axiomatized classes reveals regularities common to all classes of objects defined by a specific language; it has been well developed for first-order languages, and therefore only such classes and formulas will be dealt with in what follows. | ||
− | Two models are said to be elementarily equivalent if any formula of the first-order language which is true in one of them is also true in the other. A model <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a0143207.png" /> is said to be an elementary extension of a model <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a0143208.png" /> if any formula which is defined and is true in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a0143209.png" /> is also true in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432010.png" />. | + | Two models are said to be [[elementarily equivalent]] if any formula of the first-order language which is true in one of them is also true in the other. A model <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a0143207.png" /> is said to be an elementary extension of a model <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a0143208.png" /> if any formula which is defined and is true in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a0143209.png" /> is also true in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432010.png" />. |
An elementary closed class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432011.png" /> of models is called complete if all its models are elementarily equivalent. Every axiomatized class of models is a sum of pairwise-disjoint complete classes. A class is said to be categorical in cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432012.png" /> if all its models of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432013.png" /> are isomorphic. A complete class of models of a countable signature that is categorical in an uncountable cardinality, is categorical in all uncountable cardinalities, but may be non-categorical in a countable cardinality; in such a case the class has a countable number of pairwise non-isomorphic countable models. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432014.png" /> there exists a complete axiomatized class with exactly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432015.png" /> non-isomorphic countable models. | An elementary closed class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432011.png" /> of models is called complete if all its models are elementarily equivalent. Every axiomatized class of models is a sum of pairwise-disjoint complete classes. A class is said to be categorical in cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432012.png" /> if all its models of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432013.png" /> are isomorphic. A complete class of models of a countable signature that is categorical in an uncountable cardinality, is categorical in all uncountable cardinalities, but may be non-categorical in a countable cardinality; in such a case the class has a countable number of pairwise non-isomorphic countable models. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432014.png" /> there exists a complete axiomatized class with exactly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014320/a01432015.png" /> non-isomorphic countable models. |
Revision as of 09:39, 26 November 2016
A class of models of one type, defined by an axiom system. A class of models of a formal language
is said to be axiomatized (finitely axiomatized) if there exists a (finite) system
of closed formulas of
such that
contains those and only those models on which all formulas of
are defined and are true (cf. Algebraic system). A class of models of a recursive signature is said to be recursively axiomatized if it can be specified by a recursive set of axioms.
Many classes of algebraic systems studied in mathematics are defined by a system of axioms of a first-order language. For instance, the classes of all Boolean algebras, all groups, all fields, and all lattices are finitely axiomatized. The classes of all torsion-free groups, all fields of characteristic zero and all algebraically closed fields are recursively axiomatized, but not necessarily finitely axiomatized. The theory of axiomatized classes reveals regularities common to all classes of objects defined by a specific language; it has been well developed for first-order languages, and therefore only such classes and formulas will be dealt with in what follows.
Two models are said to be elementarily equivalent if any formula of the first-order language which is true in one of them is also true in the other. A model is said to be an elementary extension of a model
if any formula which is defined and is true in
is also true in
.
An elementary closed class of models is called complete if all its models are elementarily equivalent. Every axiomatized class of models is a sum of pairwise-disjoint complete classes. A class is said to be categorical in cardinality
if all its models of cardinality
are isomorphic. A complete class of models of a countable signature that is categorical in an uncountable cardinality, is categorical in all uncountable cardinalities, but may be non-categorical in a countable cardinality; in such a case the class has a countable number of pairwise non-isomorphic countable models. For any
there exists a complete axiomatized class with exactly
non-isomorphic countable models.
An axiomatized class of models is called solvable if there exists an algorithm by which it is possible to tell, for any closed formula of the language
, if it is true or false for each model in
. The following theorem describes the interconnection of complete, categorical and solvable classes: If
is categorical of infinite cardinality and has no finite model, then it is complete. A recursively-complete axiomatized class of models is solvable.
Reductive and projective classes are generalizations of axiomatized clases. Projective classes are defined by a second-order axiom in the form
![]() |
where are predicate variables, and
is a formula of the signature
. Many properties of axiomatized classes can be applied to these classes.
References
[1] | A.I. Mal'tsev, "Algebraic systems" , Springer (1973) (Translated from Russian) |
[2] | A.I. Mal'tsev, "Some problems in the theory of classes of models" , Proc. 4-th All-Union Math. Congress (1961) , 1 , Leningrad (1963) pp. 169–198 (In Russian) (Transl. in: Amer. Math. Soc. Transl. (2) 83 (1969), 1–48) |
[3] | P.M. Cohn, "Universal algebra" , Reidel (1981) |
Comments
An axiomatized class is also called an axiomatic class. Elementary equivalent is also called indiscernible.
Axiomatized class. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Axiomatized_class&oldid=39821