超幂非标准模型的构造
Constructions of ultrapower nonstandard models作者机构：西安建筑科技大学理学院陕西西安710055
出 版 物：《陕西师范大学学报（自然科学版）》 (Journal of Shaanxi Normal University：Natural Science Edition)
年 卷 期：2010年第38卷第3期
页 面：20-23页
核心收录：
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金：陕西省自然科学基金资助项目(2007A12) 西安建筑科技大学青年科技基金资助项目(QN0736 QN0833)
主 题：个体集 指标集 标准全域 非标准全域 非标准扩大模型
摘 要：研究了个体集和超滤子与超幂非标准模型的构造.证明了当转换原理成立时,要求构造超结构的基本集是个体集;讨论了个体集和超滤子不同时,标准全域与非标准全域之间的关系,同时给出了超幂非标准模型是其真扩张的充分条件;得到了非标准模型是非标准扩大模型的必要条件是card(I)N0.
维普期刊数据库
同方期刊数据库