Literature cited
P. J. Cohen, Set Theory and the Continuum Hypothesis, W. A. Benjamin (1966).
K.-P. Apt and W. Marek, “Second-order arithmetic and related topics,” Ann. Math. Logic,6, No. 5, 177–229 (1974).
G. Kreisel, “A survey of proof theory,” J. Symbolic Logic,33, No. 3, 321–388 (1968).
T, J. Jech, Lectures in Set Theory with Particular Emphasis on the Method of Forcing, Springer-Verlag (1971).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 30, No. 3, pp. 407–419, September, 1981.
The author is deeply grateful to A. G. Dragalin for discussing this work and his valuable remarks.
Rights and permissions
About this article
Cite this article
Kanovei, V.G. Theory of zermelo without power set axiom and the theory of Zermelo-Frenkel without power set axiom are relatively consistent. Mathematical Notes of the Academy of Sciences of the USSR 30, 695–702 (1981). https://doi.org/10.1007/BF01141627
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01141627