|
|||||
|
|
Model Approach to Nonstandard Analysis in the Context of Axiomatic Set Theory |
|
| Authors: | I V Yakovlev |
| Institution: | (1) Moscow State Institute of Electronics and Mathematics, Moscow, Russia |
| Abstract: | In this paper, the model approach to nonstandard analysis is developed on the basis of Zermelo—Fraenkel axiomatic set theory with atoms. The traditional consideration of the standard superstructure V as the primary object of nonstandard analysis is justified. Set-theoretic axioms for the nonstandard system *V are obtained. |
| Keywords: | nonstandard analysis Zermelo— Fraenkel set theory with atoms superstructure atom model approach ultraproduct Mostowski function |
| 本文献已被 SpringerLink 等数据库收录！ | |