About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Čuda, Karel
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 785-803
MSC: 03E70, 03H05, 03H10, 03H15 | MR 687572 | Zbl 0522.03059
References:
[Č 1] 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
[Č 2] 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. MR 0590124
[V] P. VOPĚNKA: Mathematics in the alternative set theory. Teubner-Texte Leipzig 1979. MR 0581368
Partner of
EuDML logo