期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
Zermelo定理在弱整序集上的推广
1
作者 周文书 董乃昌 《吉林大学自然科学学报》 CAS CSCD 1999年第1期47-48,共2页
将整序集上的Zermelo定理推广到弱整序集上。
关键词 整序集 弱整序集 极小元 保序映射 zermelo定理
下载PDF
Zermelo—Flaenkel公理集合理论的格值模型 被引量:1
2
作者 汤建钢 《伊犁师范学院学报(社会科学版)》 1997年第S1期1-14,共14页
本文用超限归纳法给出L.A.Zadeh模糊集合系统的可逆模型,证明了该模型是2ermelo-Fraenkel公理集合理论的一个格值模型,建立了L.A.Zadeh模糊集合系统的数理逻辑基础。
关键词 zermelo-Fraenkel公理集合理论 FUZZY代数 格值模型
下载PDF
利用群作用构造一类不可测集
3
作者 梁亚华 《应用数学进展》 2024年第4期1334-1337,共4页
本文研究了群作用和Zermelo选择公理构造出一类一维不可测集,为了得到主要结果,进行了n维不可测集的构造,在群作用和Zermelo选择公理的前提下,用构造的方法给出了n维不可测集,从而证明了一类n维不可测集的存在性,且给出了该类型不可测... 本文研究了群作用和Zermelo选择公理构造出一类一维不可测集,为了得到主要结果,进行了n维不可测集的构造,在群作用和Zermelo选择公理的前提下,用构造的方法给出了n维不可测集,从而证明了一类n维不可测集的存在性,且给出了该类型不可测集的内侧度为零。 展开更多
关键词 不可测集 zermelo选择公理 群作用
下载PDF
分析学中几个定理证明的严密性
4
作者 陈世联 《曲靖师范学院学报》 1991年第1期26-28,32,共4页
Zermelo选择公理的提出对近代数学的发展和逻辑的严密性起了很大的推动作用,而且它几乎渗透到每一个数学分支。分析学中一些定理及命题的证明都要以它为依据,例如,它使得下面几个定理的证明成为可能。
关键词 zermelo选择公理 选择函数 可数集 聚点
下载PDF
逻辑数学悖论及其解决
5
作者 李建华 张泽勇 《邵阳学院学报(社会科学版)》 2010年第1期8-10,共3页
逻辑——数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论。从历史发展看,其主要是指布拉里——福蒂(Burali-Forti)悖论,康托悖论和罗素悖论,它们分别是在1897、1899及1902年提出的。逻辑——数学悖论的出现,明确地表明素朴集合... 逻辑——数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论。从历史发展看,其主要是指布拉里——福蒂(Burali-Forti)悖论,康托悖论和罗素悖论,它们分别是在1897、1899及1902年提出的。逻辑——数学悖论的出现,明确地表明素朴集合论中包含有逻辑矛盾。解决逻辑——数学悖论,必须对康托的素朴集合论加以限制,特别是必须抛弃前面所提到的概括原则。按策梅罗的研究成果,只须对公理适当地加以选择,就可做到既能使新建立的集合论能成为数学的基础,同时又能确保新的理论不会导致悖论。 展开更多
关键词 布拉里——福蒂(Burali-Forti)悖论 康托悖论 罗素悖论 策梅罗ZF系统
下载PDF
Isoparametric Hypersurfaces Induced by Navigation in Lorentz Finsler Geometry
6
作者 Ming XU Ju TAN Na XU 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2023年第8期1547-1564,共18页
Using a navigation process with the datum(F,V),in which F is a Finsler metric and the smooth tangent vector field V satisfies F(−V(x))>1 everywhere,a Lorentz Finsler metric F˜can be induced.Isoparametric functions ... Using a navigation process with the datum(F,V),in which F is a Finsler metric and the smooth tangent vector field V satisfies F(−V(x))>1 everywhere,a Lorentz Finsler metric F˜can be induced.Isoparametric functions and isoparametric hypersurfaces with or without involving a smooth measure can be defined for F˜.When the vector field V in the navigation datum is homothetic,we prove the local correspondences between isoparametric functions and isoparametric hypersurfaces before and after this navigation process.Using these correspondences,we provide some examples of isoparametric functions and isoparametric hypersurfaces on a Funk space of Lorentz Randers type. 展开更多
关键词 Finsler metric homothetic vector field isoparametric function isoparametric hypersurface Lorentz Finsler metric zermelo navigation
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部