Literature Cited
A. I. Mal'tsev, “Iterative Post algebras and manifolds,” Algebra i Logika,5, No. 2, 5–24 (1966).
A. V. Kuznetsov, “Structures with closure and the criterion of functional completeness,” Usp. Mat. Nauk,16, No. 2 (98) (1961).
M. Krasner, “Une généralisation de la notion de corps,” J. Math. Pures Appl.,9, No. 17, 367–385 (1938).
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.
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).
N. Bourbaki, Algebra. Book 2, Linear Algebra, Hermann, Paris (1959).
W. Krull, “Galoische Theorie der unendlichen algebraischen Erweiterungen,” Math. Annalen,100, 687 (1928).
G. E. Sacks, Saturated Model Theory, W. A. Benjamin (1972).
K. Karp, Languages with Expressions of Infinite Length, North-Holland, Amsterdam (1964).
B. A. Romov, “On the formulability of predicates on a finite model,” Kibernetika, No. 1, 41–42 (1971).
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).
P. M. Cohn, Universal Algebra, Harper and Row, New York (1965).
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).
B. Poizat, “Théorèmes globaux,” Compt. Rend. Acad. Sci.,280, No. 13, 845–847 (1975).
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).
Additional information
Translated from Kibernetika, No. 3, pp. 62–64, May–June, 1977.
Rights 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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069655