[Č] K. ČUDA:
The relation between $\varepsilon - \delta $ procedures and the infinitely small in nonstandard methods. Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics 619.
MR 0505469
[S] A. SOCHOR:
Differential calculus in the Alternative Set Theory. Set Theory and Hierarchy Iheory V, Lecture Notes in Math. 619.
MR 0472524 |
Zbl 0434.03037
[SV 1] A. SOCHOR P. VOPĚNKA:
Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629.
MR 0555178
[V] P. VOPĚNKA:
Mathematics in the alternative set theory. Teubner-Texte Leipzig 1979.
MR 0581368
[V 1] P. VOPĚNKA:
The lattice of indiscernibility equivalences. Comment. Math. Univ. Carolinae 20 (1979), 631-638.
MR 0555179