排序方式： 共有7条查询结果，搜索用时 15 毫秒
1
1.
每个非主算术超滤p∈βω-ω都可用来形成一个简单的不可数算术模型Np= {f(p):f∈ωω}N．用这个模型中的超滤(代替自然数)作成的有限分数的等价类便得到所有正实数．用分数表示实数,这正是古希腊人曾有的想法．人们已经知道,Martin 公理的较弱形式MAcountable蕴涵着下面的命题Q: (Q)若B■P(ω)具有sfip(强有限交性质)且|B|<2ω,则存在Q点qB．本文证明命题Q蕴涵着结论:ω上非主算术超滤存在． 相似文献
2.
汪芳庭 《中国科学技术大学学报》2000,30(5):517-522
获得了由Ｊ．Ｅ．Ｂａｕｍｇａｒｔｎｅｒ和Ａ．Ｄ．Ｔａｙｌｏｒ在“剖分定理与超滤”一（该发表在杂志Ｔｒａｎｓａｃｔｉｏｎｓ ｏｆ Ａｍｅｒｉｃａｎ Ｍａｔｈｅｍａｔｉｃａｌ Ｓｏｃｉｅｔｙ,１９７８,２４１：２９０）中提出的一个问题的肯定结果,即两个不相容矢性Ｐ－点之积一定是算术超虑积。 相似文献
3.
以ＬＳＴ定理为例说明模型成果作为逻辑性论起推理工具作用的特点，讨论了ＬＳＴ定理对非标准分析的应用。对新著《非标准分析概论》给予了评论。 相似文献
4.
Stone—Cech紧化空间βω中的一类特殊点 总被引：1，自引：1，他引：0
汪芳庭 《中国科学技术大学学报》1998,28(5):567-570
讨论ＳｔｏｔｅＣｅｃｈ紧化空间βω中的一类特殊点ｐ，它具有性质ｆ，ｇ∈ωｆ（ｐ）＝ｇ（ｐ）ｆ＝ｐｇ这种点可用来构造结构简单且具有良好性质的算术模型． 相似文献
5.
以 LST 定理为例说明模型论成果作为逻辑性结论起推理工具作用的特点.讨论 LST 定理对非标准分析的应用.对新著《非标准分析概论》给予了评论. 相似文献
6.
模型论对实数理论的应用 总被引：1，自引：0，他引：1
汪芳庭 《曲阜师范大学学报》1997,23(2):57-60
基于模型论的一条原理，本文研究一种特殊语言的算术理论，提出了一种构造实数的新方案。 相似文献
7.
汪芳庭 《南京大学学报(自然科学版)》2001,18(1):85-90
本文讨论一类特殊的非Archimedes序域,这种序域可用来以简单而自然的方式定义实数.这种序域的构造方式也是自然的由自然数集N的一种特殊保真扩张模型*N出发,使用通常的分数程序来构造.本文在讨论N的保真扩张的一般方法基础上着重讨论相容方程组方法与超滤方法. 相似文献
1