Skip to main content
Log in

On nonstandard axiomatization of elementarily nonaxiomatizable classes of discrete algebraic systems

  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).

    MATH  Google Scholar 

  2. A. I. Mal'tsev, “To the general theory of algebraic systems,” Mat. Sb., 35, No. 1, 3–20 (1954).

    MathSciNet  Google Scholar 

  3. A. I. Mal'tsev, “Free topological algebras,” Izv. Akad. Nauk SSSR Ser. Mat., 21, No. 2, 171–198 (1957).

    MATH  MathSciNet  Google Scholar 

  4. S. Eilenberg, and M. P. Schützenberger, “On pseudovarieties,” Adv. Math., 19, No. 3, 413–418 (1976).

    Article  MATH  Google Scholar 

  5. K. J. Compton, “A logical approach to asymptotic combinatorics. II. Monadic second-order properties,” J. Combin. Theory Ser. A, 50, 110–131 (1989).

    Article  MATH  MathSciNet  Google Scholar 

  6. 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.

  7. C. J. Ash, “Pseudovarieties, generalized varieties and similarly described classes,” J. Algebra, 92, 104–115 (1985).

    Article  MATH  MathSciNet  Google Scholar 

  8. W. Taylor, “Varieties of topological algebras,” J. Austral. Math. Soc. Ser. A, 23, No. 2, 207–241 (1977).

    MATH  MathSciNet  Google Scholar 

  9. I. V. Protasov, “Varieties of topological algebras,” Sibirsk. Mat. Zh., 25, No. 5, 125–134 (1984).

    MathSciNet  Google Scholar 

  10. D. Thérien, Classification of Regular Languages by Congruences, Thes. Doct. Philosophy. Univ. of Waterloo (1980).

  11. J. Reiterman, “The Birkhoff theorem for finite algebras,” Algebra Universalis, 14, 1–10 (1982).

    Article  MATH  MathSciNet  Google Scholar 

  12. V. A. Molchanov, “Nonstandard varieties of pseudotopological algebraic systems,” Sibirsk. Mat. Zh., 32, No. 3, 104–112 (1991).

    MathSciNet  Google Scholar 

  13. V. A. Molchanov, “Nonstandard characterization of pseudovarieties,” Algebra Universalis, 33, 533–547 (1985).

    Article  MathSciNet  Google Scholar 

  14. A. Robinson, Nonstandard Analysis, North-Holland Publ. Co., Amsterdam (1966). (Studies in Logic and the Foundations of Mathematics.)

    Google Scholar 

  15. G. Birkhoff, “On the structure of abstract algebras,” Proc. Cambridge Philos. Soc., 31, 433–454 (1935).

    Article  MATH  Google Scholar 

  16. J. Almeida, “On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics,” Algebra Universalis, 27, 333–350 (1990).

    Article  MATH  MathSciNet  Google Scholar 

  17. L. A. Shemetkov, Formations of Finite Groups [in Russian], Nauka, Moscow (1978).

    MATH  Google Scholar 

  18. L. A. Shemetkov, and A. N. Skiba, Formations of Algebraic Systems [in Russian], Nauka, Moscow (1989).

    MATH  Google Scholar 

  19. V. A. Molchanov, “Nonstandard approach to pseudovarieties,” in: Abstracts: Conference on Semigroups, Automata and Languages, Porto, 1994, pp. 63–65.

  20. 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.

  21. 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).

    MATH  Google Scholar 

  22. P. M. Cohn, Universal Algebra [Russian translation], Mir, Moscow (1968).

    MATH  Google Scholar 

  23. V. A. Molchanov, “Nonstandard convergences in spaces of mappings,” Sibirsk. Mat. Zh., 33, No. 6, 141–153 (1992).

    MATH  MathSciNet  Google Scholar 

Download references

Authors

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

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11202-999-0015-6

Keywords

Navigation