[P] J. B. PARIS: On models of arithmetic. in Conference in Mathematical Logic - London '70, LN 255 Springer-Verlag 1972. MR 0392552 | Zbl 0236.02042

[S 1] A. SOCHOR: Metamathematics of the alternative set theory. Comment, Math. Univ. Carolinae 20 (1979), 697-722. MR 0555184 | Zbl 0433.03028

[S-V 1] A. SOCHOR P. VOPĚNKA: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178

[S-V 2] A. SOCHOR P. VOPĚNKA: Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243

[S-V 4] A. SOCHOR P. VOPĚNKA: Ultrafliters of sets. ibid., 22 (1981), 689-699. MR 0647017

[Ve 2] A. VENCOVSKÁ: Constructions of endomorphic universes and endomorphisms. to appear in Comment. Math. Univ. Carolinae.

[V] P. VOPĚNKA: Mathematics in Alternative Set Theory. Teubner-Texte, Leipzig 1979. MR 0581368

[V 1] P. VOPĚNKA: The lattice of indiscernibility equivalence. Comment. Math. Univ. Carolinae 20 (1979), 631-638. MR 0555179