[G] K. Gödel: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Annals of Mathematical Studies, Princeton 1940, Third Printing 1953.

[T] A. Tarski: Grundzüge des Systemenkalküls I. Fund. Math. XXV (1935), 503-526; II ibid. XXVI (1936), 283-301. Zbl 0012.38501

[M I] A. Mostowski: Abzählbare Boolsche Körper und ihre Anwendung in der Metamatematik. Fund. Math. XXIX (1937), 34-53.

[М II] А. Mostowski: An undecidable Arithmetical Statement. Fund. Math. XXXIV (1949), 143-164. DOI 10.4064/fm-36-1-143-164 | MR 0035721 | Zbl 0039.00802

[R I] L. Rieger: On the algebra of the lower predicate calculus. Czech: О algebře nižšího predikátového počtu, mimeographed lectures, Matematický ustav, Praha 1951.

[R II] L. Rieger: On countable generalized $\sigma$-algebras, with a new proof of Gödel's completeness theorem. Czech. Math. J., Vol. 1 (76) (1951), 29-40. MR 0050560

[R III] L. Rieger: On Free $\aleph\sb \xi$-complete Boolean Algebras. Fund. Math. XXXVIII (1951), 35-52. DOI 10.4064/fm-38-1-35-52 | MR 0050561

[Н-В] D. Hilbert P. Bernays: Grundlagen der Mathematik II. Springer, Berlin 1939. MR 0272596

[B] P. Bernays: A system of axiomatic set-theory VI. Journ. of Symb. Log. 13 (1948), 67-79. DOI 10.2307/2267328 | MR 0025421 | Zbl 0030.11502

[K-M] K. Kuratowski A. Mostowski: Teoria mnogości. Warszawa 1952. MR 0054684

[N] J. v. Neumann: Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre. J. f. reine und angew. Math. 160 (1931), 227-241.

[K] K. Kuratowski: Ann. Soc. Pol. de Math. 3 (1924), 146. (After [K-M], p. 233.)

[W-N] Hao Wang R. Mc Naughton: Les systémes axiomatiques de la théorie des ensembles. Paris, Gauthier Villars, 1953. MR 0059213