| Title:
|
Translation of nonstandard definitions to standard ones (English) |
| Author:
|
Čuda, Karel |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
25 |
| Issue:
|
4 |
| Year:
|
1984 |
| Pages:
|
615-634 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03H05 |
| MSC:
|
03H20 |
| MSC:
|
26E35 |
| MSC:
|
54J05 |
| idZBL:
|
Zbl 0574.03051 |
| idMR:
|
MR782012 |
| . |
| Date available:
|
2008-06-05T21:19:29Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106329 |
| . |
| Reference:
|
[Č] 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 |
| Reference:
|
[Č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. Zbl 0445.03042, MR 0590124 |
| Reference:
|
[Č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 0687572 |
| Reference:
|
[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 0485344 |
| Reference:
|
[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. Zbl 0207.52402, MR 0244931 |
| Reference:
|
[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. Zbl 0251.34032, MR 0280827 |
| Reference:
|
[N] E. NELSON: Internal set theory: A new approach to non-standard analysis.BAMS vol. 83 (1977). s. 1165-1198. MR 0469763 |
| Reference:
|
[S] A. SOCHOR: Differential calculus in the Alternative set theory.Set Theory and Hierarchy Theory V, Lecture notes in Mathematics 619. s. 273-284. Zbl 0434.03037, MR 0472524 |
| . |
