[B-S] J. BARWISE J. SCHLIPF: An introduction to recursively saturated and resplendent models. JSL 41 (1976), 531-536. MR 0403952

[Ra] M. RAŠKOVIČ: On extendability of models of $ZF_{Fin}$ set theory to the models of Alternative set theory. to appear.

[S 2] A. SOCHOR: Metamathematics of the alternative set theory II. Comment. Math. Univ. Carolinae 23 (1982), 55-79. MR 0653351 | Zbl 0493.03030

[S-V 3] A. SOCHOR P. VOPĚNKA: The axiom of reflection. Comment. Math. Univ. Carolinae 22 (1981), 87-111. MR 0609938

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

[Ve 3] A. VENCOVSKÁ: Independence of the axiom of choice in the alternative set theory. to appear.

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