Geodesic
Translation of nonstandard definitions to standard ones
Commentationes Mathematicae Universitatis Carolinae, Tome 25 (1984) no. 4, pp. 615-634 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03H05, 03H20, 26E35, 54J05 
@article{CMUC_1984_25_4_a3,
     author = {\v{C}uda, Karel},
     title = {Translation of nonstandard definitions to standard ones},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {615--634},
     year = {1984},
     volume = {25},
     number = {4},
     mrnumber = {782012},
     zbl = {0574.03051},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1984_25_4_a3/}
}
TY  - JOUR
AU  - Čuda, Karel
TI  - Translation of nonstandard definitions to standard ones
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1984
SP  - 615
EP  - 634
VL  - 25
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/CMUC_1984_25_4_a3/
LA  - en
ID  - CMUC_1984_25_4_a3
ER  - 
%0 Journal Article
%A Čuda, Karel
%T Translation of nonstandard definitions to standard ones
%J Commentationes Mathematicae Universitatis Carolinae
%D 1984
%P 615-634
%V 25
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1984_25_4_a3/
%G en
%F CMUC_1984_25_4_a3
Čuda, Karel. Translation of nonstandard definitions to standard ones. Commentationes Mathematicae Universitatis Carolinae, Tome 25 (1984) no. 4, pp. 615-634. http://geodesic.mathdoc.fr/item/CMUC_1984_25_4_a3/

[Č] 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

[Č1] 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. | MR | Zbl

[Č2] 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. | MR

[CH H] G. CHERLIN J. HIRSCHFELD: Ultrafilters and ultraproducts in non-standard analysis. Contributions to Non-Standard Analysis, Studies in Logic 69, s. 261-280. | MR

[L] 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 | Zbl

[H] 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. | MR | Zbl

[N] E. NELSON: Internal set theory: A new approach to non-standard analysis. BAMS vol. 83 (1977). s. 1165-1198. | MR

[S] A. SOCHOR: Differential calculus in the Alternative set theory. Set Theory and Hierarchy Theory V, Lecture notes in Mathematics 619. s. 273-284. | MR | Zbl