@article{106010, author = {Karel \v Cuda}, title = {An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST)}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {021}, year = {1980}, pages = {433-445}, zbl = {0445.03042}, mrnumber = {590124}, language = {en}, url = {http://dml.mathdoc.fr/item/106010} }
Čuda, Karel. An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST). Commentationes Mathematicae Universitatis Carolinae, Tome 021 (1980) pp. 433-445. http://gdmltest.u-ga.fr/item/106010/
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
Differential calculus in the Alternative Set Theory, Set Theory and Hierarchy Iheory V, Lecture Notes in Math. 619. | MR 0472524 | Zbl 0434.03037
Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) | MR 0555178
Mathematics in the alternative set theory, Teubner-Texte Leipzig 1979. (1979) | MR 0581368
The lattice of indiscernibility equivalences, Comment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) | MR 0555179