[1] C. C CHANG H. J. KEISLER:
Model Theory. Amsterdam 1973.
MR 0409165
[2] A. SOCHOR:
Metamathematics in the alternative set theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-722.
MR 0555184
[3] A. SOCHOR P. VOPĚNKA:
Revealments. Comment. Math. Univ. Carolinae 20(1979).
MR 0555178
[4] P. VOPĚNKA: Matematika v alternativní teorii množin. manuscript (1975).
[5] P. VOPĚNKA:
Mathematics in the Alternative Set Theory. Teubner-Texte, Leipzig 1979.
MR 0581368