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

[Č1] K. ČUDA: Nonstandard models of arithmetic as an alternative basis for continuum considerations. Comment. Math. Univ. Carolinae 24 (1983), 415-430. MR 0730137

[Č2] K. ČUDA: Contribution to the topology in AST: Almostindiscernibilities. (to appear).

[ČK1] K. ČUDA B. KUSSOVÁ: Basic equivalences in the alternative set theory. Comment. Math. Univ. Carolinae 23 (1982), 629-644. MR 0687559

[ČK2] K. ČUDA B. KUSSOVÁ: Monads in basic equivalences. Comment. Math. Univ. Carolinae 24 (1983), 437-452. MR 0730139

[ČVj2] K. ČUDA B. VOJTÁŠK0VÁ: Models of AST without choice. Comment. Math. Univ. Carolinae 25 (1984), 555-589. MR 0782009

[G] R. L. GRAHAM: Rudiments of Ramsey Theory. Regional Conference Series in Math. (Num 45, 1981), MR 0608630 | Zbl 0458.05043

[ČV] K. ČUDA P. VOPĚNKA: Real and imaginary classes in the alternative set theory. Comment. Math. Univ. Caroline 20 (1979), 697-722. MR 0555180

[Sh] J. R. SHOENFIELD: Mathematical logić. Addison-Wesley publ. comp. 1967. MR 0225631 | Zbl 0155.01102

[PS] P. PUDLÁK A. SOCHOR: Models of the alternative set theory. Journ. of Symb. Log. 49 (1984), 570-585. MR 0745386

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

[SVe] A. SOCHOR A. VENCOVSKÁ: Indiscernibles in the alternative set theory. Comment. Math. Univ. Carolinae 22 (1981), 785-798. MR 0647026

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

[Ve] A. VENCOVSKÁ: Independence of the axiom of choice in the alternative set theory, Open days in model theory and set theory. Proceedings of a conference held in September 1981 at Jadwisin; W. Guzicki, W. Marek, A. Pelc, C. Rauszer (Leeds 1984).