Molchanov, V. A. 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. Reviewer: A.S.Morozov (Novosibirsk) 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 Keywords:quasivariety; variety; nonstandard analysis; axiomatizability; algebraic systems; nonstandard identities PDFBibTeX XMLCite \textit{V. A. Molchanov}, Sib. Math. J. 40, No. 2, 421--433 (1999; Zbl 0936.03031); translation from Sib. Mat. Zh. 40, No. 2, 421--433 (1999)