[I] Б. Бaлцap, T. Ex: Moдeли тeopии мнoжecтв oбpaзoвaнныe coвepшeнным oтнoшeниeм. Čas. pro pěst. mat., 90 (1965), 430-440.

[2] Bukovský L., Hájek P.: On the Standardness and Regularity of Normal Syntactic Models of the Set Theory. Bull. Acad. Sci. Polon., XIV, 3 (1966), 101-105. MR 0201280

[3] Gödel K.: The Consistency of the Axiom of Choice etc. Princeton Univ. Press, 1940.

[4] Hájek P.: Syntactic Models of Axiomatic Theories. Bull. Acad. Sci. Polon. XIII, 4 (1965), 273-278. MR 0184857

[5] Mostowski A.: An Undecidable Arithmetical Statement. Fund. Math. XXXVI (1949). MR 0035721 | Zbl 0039.00802

[6] Mostowski A.: Some Impredicative Defìnitions in the Axiomatic Set Theory. Fund. Math. XXXVII (1950), 111-124. MR 0041083 | Zbl 0039.27601

[7] Novak L. I.: A Construction for Consistent Systems. Fund. Math. XXXVII (1950), 87-110.

[8] Rosser J. B., Wang Hao: Non-standard Models for Formal Logics. Journ. of Symb. Logics. 15 (1950), 113-129. MR 0038307 | Zbl 0037.29502

[9] Shoenfield J. R.: A Relative Consistency Proof. Journ. of Symb. Logic. 19 (1954), 21-28. MR 0060433 | Zbl 0055.00404

[10] Boneнкa П.: Moдeли тeopии мнoжecтв. Zeitschr. f. mat. Logik, 8 (1962), 281 - 292.

[II] Vopěnka P.: A New Proof of the Gödeľs Result on Non-provability of Consistency. Bull. Acad. Sci. Polon. ХIV, 3 (1966), 111-116.