Literature cited
Yu. L. Ershov, "The ssolubility of the elementary theory of distrubutive structures with relative complements and theory of filters," Algebra Logika,3, No. 3, 17–38 (1964).
Yu. L. Ershov, Solubility Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).
J. Sax, The Theory of Saturated Models [Russian translation], Mir, Moscow (1976).
R. Sikorskii, Boolean Algebras [Russian translation], Mir, Moscow (1969).
S. S. Goncharov, "STrong constructivizability of homogeneous models," Algebra Logika,17, No. 4, 363–368 (1978).
J. Mead, "Recursive prime models for Boolean algebras," Colloq. Math.,41, No. 1, 25–33 (1979).
Additional information
Translated from Algebra i Logika, Vol. 21, No. 2, pp. 193–203, March–April, 1982.
Rights and permissions
About this article
Cite this article
Morozov, A.S. Strong constructivizability of countable saturated Boolean algebras. Algebra and Logic 21, 130–137 (1982). https://doi.org/10.1007/BF01980754
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01980754