Skip to main content
Log in

Galois correspondence between iterative post algebras and relations on an infinite set

  • Published:
Cybernetics Aims and scope

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.

Literature Cited

  1. A. I. Mal'tsev, “Iterative Post algebras and manifolds,” Algebra i Logika,5, No. 2, 5–24 (1966).

    Google Scholar 

  2. A. V. Kuznetsov, “Structures with closure and the criterion of functional completeness,” Usp. Mat. Nauk,16, No. 2 (98) (1961).

  3. M. Krasner, “Une généralisation de la notion de corps,” J. Math. Pures Appl.,9, No. 17, 367–385 (1938).

    Google Scholar 

  4. M. Krasner, “Généralisation et analogues de la théorie de Galois,” in: Colloques Internationaux du Centre National de Recherche Scientifique, Paris, Vol. 24 (1950), pp. 163–165.

  5. V. G. Bondarchuk, L. A. Kaluzhnin, V. N. Kotov, and B. A. Romov, “Galois theory for Post algebras. 1, 2,” Kibernetika, No. 3, 1–10 (1969); No. 5, 1–9 (1969).

    Google Scholar 

  6. N. Bourbaki, Algebra. Book 2, Linear Algebra, Hermann, Paris (1959).

    Google Scholar 

  7. W. Krull, “Galoische Theorie der unendlichen algebraischen Erweiterungen,” Math. Annalen,100, 687 (1928).

    Google Scholar 

  8. G. E. Sacks, Saturated Model Theory, W. A. Benjamin (1972).

  9. K. Karp, Languages with Expressions of Infinite Length, North-Holland, Amsterdam (1964).

    Google Scholar 

  10. B. A. Romov, “On the formulability of predicates on a finite model,” Kibernetika, No. 1, 41–42 (1971).

    Google Scholar 

  11. I. Rosenberg, “Une correspondance de Galois entre les algebres universelles et les relations dans le meme univers,” Compt. Rend. Acad. Sci.,280, No. 10, 615–616 (1975).

    Google Scholar 

  12. P. M. Cohn, Universal Algebra, Harper and Row, New York (1965).

    Google Scholar 

  13. B. A. Romov, “On the Galois correspondence for Cartesian products of finite substitution groups” in: Abstracts of the Twelfth All-Union Algebraic Colloquium [in Russian], Vol. 2, Sverdlovsk (1973).

  14. B. Poizat, “Théorèmes globaux,” Compt. Rend. Acad. Sci.,280, No. 13, 845–847 (1975).

    Google Scholar 

  15. B. A. Romov, Galois correspondence for Post algebras on a denumerable set,” in: Fourth All-Union Conference on Mathematical Logic (Abstracts) [in Russian], Shtinitsa, Kishinev (1976).

    Google Scholar 

Download references

Authors

Additional information

Translated from Kibernetika, No. 3, pp. 62–64, May–June, 1977.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Romov, B.A. Galois correspondence between iterative post algebras and relations on an infinite set. Cybern Syst Anal 13, 377–379 (1977). https://doi.org/10.1007/BF01069655

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01069655

Keywords

Navigation