Literature cited
P. J. Cohen, Set Theory and Continuum Hypothesis, W. A. Benjamin, New York (1966).
T. Jech, “Lectures in set theory with particular emphasis on the method of forcing,” Lect. Notes Math., Vol. 217, Springer-Verlag, Berlin-New York (1971).
R. Sikorski, Boolean Algebras, 3rd ed., Springer-Verlag, Berlin-New York (1969).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 30, No. 2, pp. 269–276, August, 1981.
The author thanks A. G. Dragalin for the formulation of the problem and for advice facilitating its solution.
Rights and permissions
About this article
Cite this article
Yakubovich, A.M. Variants of the axiom of choice in the simple theory of types. Mathematical Notes of the Academy of Sciences of the USSR 30, 622–626 (1981). https://doi.org/10.1007/BF01708845
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01708845