References
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
A. I. Mal'tsev, “To the general theory of algebraic systems,” Mat. Sb., 35, No. 1, 3–20 (1954).
A. I. Mal'tsev, “Free topological algebras,” Izv. Akad. Nauk SSSR Ser. Mat., 21, No. 2, 171–198 (1957).
S. Eilenberg, and M. P. Schützenberger, “On pseudovarieties,” Adv. Math., 19, No. 3, 413–418 (1976).
K. J. Compton, “A logical approach to asymptotic combinatorics. II. Monadic second-order properties,” J. Combin. Theory Ser. A, 50, 110–131 (1989).
Y. Gurevich and S. Shelah, “Fixed-point extensions of first-order logic,” in: Proc. 26th Annu. Symp. on Foundations of Comp. Sci., 1985, pp. 346–353.
C. J. Ash, “Pseudovarieties, generalized varieties and similarly described classes,” J. Algebra, 92, 104–115 (1985).
W. Taylor, “Varieties of topological algebras,” J. Austral. Math. Soc. Ser. A, 23, No. 2, 207–241 (1977).
I. V. Protasov, “Varieties of topological algebras,” Sibirsk. Mat. Zh., 25, No. 5, 125–134 (1984).
D. Thérien, Classification of Regular Languages by Congruences, Thes. Doct. Philosophy. Univ. of Waterloo (1980).
J. Reiterman, “The Birkhoff theorem for finite algebras,” Algebra Universalis, 14, 1–10 (1982).
V. A. Molchanov, “Nonstandard varieties of pseudotopological algebraic systems,” Sibirsk. Mat. Zh., 32, No. 3, 104–112 (1991).
V. A. Molchanov, “Nonstandard characterization of pseudovarieties,” Algebra Universalis, 33, 533–547 (1985).
A. Robinson, Nonstandard Analysis, North-Holland Publ. Co., Amsterdam (1966). (Studies in Logic and the Foundations of Mathematics.)
G. Birkhoff, “On the structure of abstract algebras,” Proc. Cambridge Philos. Soc., 31, 433–454 (1935).
J. Almeida, “On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics,” Algebra Universalis, 27, 333–350 (1990).
L. A. Shemetkov, Formations of Finite Groups [in Russian], Nauka, Moscow (1978).
L. A. Shemetkov, and A. N. Skiba, Formations of Algebraic Systems [in Russian], Nauka, Moscow (1989).
V. A. Molchanov, “Nonstandard approach to pseudovarieties,” in: Abstracts: Conference on Semigroups, Automata and Languages, Porto, 1994, pp. 63–65.
V. A. Molchanov, “Nonstandard axiomatization of elementary non-axiomatizable classes of algebraic systems,” in: Abstracts: International Conference on Modern Algebra and Its Applications, Nashville, 1996, pp. 80–81.
S. Albeverio, J. F. Fenstad, R. J. Höegh-Krohn, and T. L. Lindström, Nonstandard Methods in Stochastic Analysis and Mathematical Physics [Russian translation], Mir, Moscow (1990).
P. M. Cohn, Universal Algebra [Russian translation], Mir, Moscow (1968).
V. A. Molchanov, “Nonstandard convergences in spaces of mappings,” Sibirsk. Mat. Zh., 33, No. 6, 141–153 (1992).
Additional information
The research was supported by the International Soros Program for Science and Education (the subprogram “Soros Docents,” Grant d619).
Saratov. Translated from Sibirskiî Matematicheskiî Zhurnal, Vol. 40, No. 2, pp. 421–433, March–April, 1999.
Rights and permissions
About this article
Cite this article
Molchanov, V.A. On nonstandard axiomatization of elementarily nonaxiomatizable classes of discrete algebraic systems. Sib Math J 40, 363–373 (1999). https://doi.org/10.1007/s11202-999-0015-6
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11202-999-0015-6