| Title:
|
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic (English) |
| Author:
|
Čuda, Karel |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
23 |
| Issue:
|
4 |
| Year:
|
1982 |
| Pages:
|
785-803 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03E70 |
| MSC:
|
03H05 |
| MSC:
|
03H10 |
| MSC:
|
03H15 |
| idZBL:
|
Zbl 0522.03059 |
| idMR:
|
MR687572 |
| . |
| Date available:
|
2008-06-05T21:13:36Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106196 |
| . |
| Reference:
|
[Č 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 |
| Reference:
|
[Č 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 |
| Reference:
|
[V] P. VOPĚNKA: Mathematics in the alternative set theory.Teubner-Texte Leipzig 1979. MR 0581368 |
| . |
