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

[K-P] L. A. S. KIRBY J. PARIS: Initial segments of models of Peano's axioms. Set Theory and Hierarchy Theory V. Bierutowise 1976, L. N. M. 619.

[P] C. PURITZ: Skies, Constellations and Monads in Contributions to Non-standard Analysis. Luxemburg-Robinson eds., North-Holland, 1972. MR 0645172

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

[T] A. TZOUVARAS: Minimal ultrafilters and maximal endomorphic universes. Comment. Math. Univ. Carolinae 26 (1985), 719-726. MR 0831807 | Zbl 0587.03040

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

[Ve] A. VENCOVSKÁ: Independence of the axiom of choice in AST. 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).