×

On nonstandard axiomatization of elementarily nonaxiomatizable classes of discrete algebraic systems. (English. Russian original) Zbl 0936.03031

Sib. Math. J. 40, No. 2, 363-373 (1999); translation from Sib. Mat. Zh. 40, No. 2, 421-433 (1999).
The article under review continues the author’s study of the properties of classes of algebraic systems defined by nonstandard first-order formulas (see the original paper for references and definitions).
The author proves that a class of algebraic systems of a finite signature is axiomatizable by means of nonstandard identities if and only if it is closed under subsystems, homomorphic images, and finite cartesian products, which is one of the nonstandard versions of Birkhoff’s Theorem. A similar result is proven for nonstandard quasivarieties: A class of algebraic systems of a finite signature is axiomatizable by means of nonstandard quasi-identities if and only if it is closed under subsystems and finite cartesian products.

MSC:

03C05 Equational classes, universal algebra in model theory
03H99 Nonstandard models
03C52 Properties of classes of models
08C10 Axiomatic model classes
08C15 Quasivarieties
08B05 Equational logic, Mal’tsev conditions
PDFBibTeX XMLCite