Model approach to nonstandard analysis an the context of axiomatic set theory

被引:0
|
作者
Yakovlev, IV [1 ]
机构
[1] Moscow State Inst Elect & Math, Moscow, Russia
关键词
nonstandard analysis; Zermelo-Fraenkel set theory with atoms; superstructure; atom; model approach; ultraproduct; Mostowski function;
D O I
10.1007/s11006-006-0012-z
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:122 / 128
页数:7
相关论文
共 50 条