Algebraic systems, class of
A class of algebraic systems of the same type. All systems of a given type are assumed to be written in a given signature and are called -systems. A class of -systems is called abstract if, whenever it contains a system , it also contains all -systems isomorphic to .
Let be an abstract class of -systems. One says that an -system has a local set of -subsystems if there exists an inclusion-directed set of subsystems of the system which cover (i.e. ) and which belong to . A class is called local if each -system with a local set of -subsystems belongs to the class . Theorems which establish the local nature of given abstract classes are called local (cf. Mal'tsev local theorems).
An -system is called -approximable (or -residual) if, for any predicate (i.e. for any basic predicate as well as for the predicate coinciding with the equality relation in ) and for any elements in for which , there exists a homomorphism of the system into some system of the class for which, again, . Any subsystem of a -approximable system is itself -approximable. If is the class of all finite -systems, a -approximable system is called finitely approximable (or residually finite). If an abstract class has a unit system , an -system is -approximable if and only if it is isomorphically imbeddable in a Cartesian product of systems from the class . A class is called residual if all -approximable systems belong to the class . A class is homomorphically closed if it contains, for each of its -systems , also all -systems that are homomorphic images of . All residual homomorphically-closed classes are local .
A class of -systems is called (finitely) axiomatizable if there exists a (finite) set of first-order closed formulas of the signature such that consists of exactly those -systems in which all formulas of are true. Finitely-axiomatizable classes are also referred to as elementary classes. It has been shown  with the aid of the generalized continuum hypothesis that: 1) a class of algebraic systems is axiomatizable if and only if it is closed with respect to ultra-products, and its complement (in the class of all -systems) is closed with respect to ultra-powers; 2) a class of algebraic systems is elementary if and only if both it and its complement are closed with respect to ultra-products. The theory of axiomatizable classes of algebraic systems deals with the connection between the structural properties of these classes and the syntactic features of the formal language in which these classes may be specified. Axiomatizable classes which play an especially important role in algebra include varieties (cf. Algebraic systems, variety of) and quasi-varieties (cf. Algebraic systems, quasi-variety of), which are local and residual.
In addition to axiomatizability by first-order closed formulas, axiomatizability by special second-order closed formulas is also considered. To the function and predicate signature symbols (), () of a fixed signature are added predicate variables . Let be a quantifier-free formula of the first order, consisting of function and predicate signature symbols, predicate variables and object variables . A second-order formula , where is some sequence of quantifiers of the type or is known as crypto-universal. The second-order formulas formed from the crypto-universal formulas without free object variables, with the aid of the logical connectives and with subsequent quantification by on all free predicate variables encountered in the representations of the crypto-universal formulas, are called Boolean-universal formulas of the signature . A class of -systems is called quasi-universal if there exists a set of Boolean-universal formulas of the signature such that consists of the -systems in which all formulas of are true, and only of such systems. A quasi-universal class of -systems is local (Mal'tsev's theorem). A.I. Mal'tsev  gave a more detailed definition of a quasi-universal class.
|||A.I. Mal'tsev, "A general method for obtaining local theorems in group theory" Uchen. Zap. Ivanovsk. Gos. Ped. Inst. , 1 : 1 (1941) pp. 3–9 (In Russian)|
|||A.I. Mal'tsev, "Model correspondences" Izv. Akad. Nauk SSSR Ser. Mat. , 23 (1959) pp. 313–336 (In Russian)|
|||A.I. Mal'tsev, "Algebraic systems" , Springer (1973) (Translated from Russian)|
|||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)|
|||P.M. Cohn, "Universal algebra" , Reidel (1981)|
|||J.P. Cleave, "Local properties of systems" J. London Math. Soc. , 44 (1969) pp. 121–130|
The characterization (under the generalized continuum hypothesis) of axiomatizable and elementary classes is due to H.J. Keisler [a1].
The term inductive class is sometimes used instead of "local class" .
|[a1]||H.J. Keisler, "Ultraproducts and elementary classes" Indag. Math. , 23 (1961) pp. 477–495|
|[a2]||A.I. [A.I. Mal'tsev] Mal'cev, , The metamathematics of algebraic systems. Collected papers: 1936 - 1967 , North-Holland (1971)|
Algebraic systems, class of. D.M. Smirnov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Algebraic_systems,_class_of&oldid=16625