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

被引：0
|
作者：
Yakovlev, IV [1 ]
机构：
[1] Moscow State Inst Elect & Math, Moscow, Russia
来源：
MATHEMATICAL NOTES | 2006年 / 79卷 / 1-2期
关键词：
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 条
  • [31] AXIOMATIC SET-THEORY - SUPPES,P
    LEVY, A
    PHILOSOPHY OF SCIENCE, 1962, 29 (01) : 99 - 101
  • [32] INTRODUCTION TO AXIOMATIC SET THEORY - KRIVINE,JL
    不详
    FOLIA HUMANISTICA, 1972, 10 (111) : 282 - 282
  • [33] Rough set model based on axiomatic fuzzy set
    Xu, Siyu
    Qin, Keyun
    Pan, Xiaodong
    Fu, Chao
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2023, 45 (01) : 1423 - 1436
  • [34] AXIOMATIC APPROACH TO HOMOLOGY THEORY
    EILENBERG, S
    STEENROD, NE
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1945, 31 (04) : 117 - 120
  • [35] A Formal System of Axiomatic Set Theory in Coq
    Sun, Tianyu
    Yu, Wensheng
    IEEE ACCESS, 2020, 8 : 21510 - 21523
  • [36] On Bourbaki’s axiomatic system for set theory
    Maribel Anacona
    Luis Carlos Arboleda
    F. Javier Pérez-Fernández
    Synthese, 2014, 191 : 4069 - 4098
  • [37] 2 NOTES ON AXIOMATIC SET-THEORY
    SHAWKWEI, M
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1091 - 1091
  • [38] AXIOMATIC APPROACH TO THEORY OF RENORMALIZATION
    TARIMER, N
    NUOVO CIMENTO, 1962, 25 (03): : 572 - +
  • [39] AXIOMATIC SET-THEORY - SUPPES,P
    MENDELSON, E
    JOURNAL OF PHILOSOPHY, 1960, 57 (15): : 512 - 513
  • [40] On Bourbaki's axiomatic system for set theory
    Anacona, Maribel
    Carlos Arboleda, Luis
    Javier Perez-Fernandez, F.
    SYNTHESE, 2014, 191 (17) : 4069 - 4098
12345