Translation of nonstandard definitions to standard ones
Čuda, Karel
Commentationes Mathematicae Universitatis Carolinae, Tome 025 (1984), p. 615-634 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1984-01-01
Classification:  03H05,  03H20,  26E35,  54J05 
@article{106329,
     author = {Karel \v Cuda},
     title = {Translation of nonstandard definitions to standard ones},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {025},
     year = {1984},
     pages = {615-634},
     zbl = {0574.03051},
     mrnumber = {782012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106329}
}

Čuda, Karel. Translation of nonstandard definitions to standard ones. Commentationes Mathematicae Universitatis Carolinae, Tome 025 (1984) pp. 615-634. http://gdmltest.u-ga.fr/item/106329/

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. s. 143-152. | MR 0505469

K. Čuda An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST), Comment. Math. Univ. Carolinae 21 (1980). s. 433-445. (1980) | MR 0590124 | Zbl 0445.03042

K. Čuda An elimination of the predicate "To be a standard number" in nonstandard models of arithmetic, Comment. Math. Univ. Carolinae 23 (1982). s. 785-803. (1982) | MR 0687572

G. Cherlin J. Hirschfeld Ultrafilters and ultraproducts in non-standard analysis, Contributions to Non-Standard Analysis, Studies in Logic 69, s. 261-280. | MR 0485344

W. A. J. Luxemburg A general theory of monads, Applications of Model Theory to Algebra, Analysis, and Probability, Holt, Rinehart and Winston, Inc. s. 18-86. | MR 0244931 | Zbl 0207.52402

A. E. Hurd Nonstandard analysis of dynamical systems. I: Limit motions, stability, Transactions of the Am. Math. Soc. vol 160, Oct. 1971. s. 1-25. (1971) | MR 0280827 | Zbl 0251.34032

E. Nelson Internal set theory: A new approach to non-standard analysis, BAMS vol. 83 (1977). s. 1165-1198. (1977) | MR 0469763

A. Sochor Differential calculus in the Alternative set theory, Set Theory and Hierarchy Theory V, Lecture notes in Mathematics 619. s. 273-284. | MR 0472524 | Zbl 0434.03037