An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Čuda, Karel
Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982), p. 785-803 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1982-01-01
Classification:  03E70,  03H05,  03H10,  03H15 
@article{106196,
     author = {Karel \v Cuda},
     title = {An elimination of the predicate ``to be a standard member'' in nonstandard models of arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {023},
     year = {1982},
     pages = {785-803},
     zbl = {0522.03059},
     mrnumber = {687572},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106196}
}

Čuda, Karel. An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982) pp. 785-803. http://gdmltest.u-ga.fr/item/106196/

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

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

P. Vopěnka Mathematics in the alternative set theory, Teubner-Texte Leipzig 1979. (1979) | MR 0581368