论文部分内容阅读
本文研究ε-算子的ZF系统ZF(ε),作者证明ZF(ε)是相对于ZF融贯的,指出在集合论中ε-算子的作用与选择公理相当并且证明ZF(ε)为ZFC的保守扩张.
带ε—算子的集合论系统
【摘 要】
：
本文研究ε-算子的ZF系统ZF(ε),作者证明ZF(ε)是相对于ZF融贯的,指出在集合论中ε-算子的作用与选择公理相当并且证明ZF(ε)为ZFC的保守扩张.
【机 构】
：
南京大学数学系
【出 处】
：
南京大学学报：自然科学版
【发表日期】
：
1992年4期
其他文献
为了比较II型糖尿病患者糖尿病肾病(DN)与非糖尿病肾病肾脏病变(NDRD)的临床特点,对30例行肾活检明确诊断为NDRD患者的临床表现、心肾功能及眼底病变与68例DN患者进行比较.结
本文定义了任意仿射变换集D的吸引子E(D)与其对称群S(D),讨论S(D)在D上的作用并得到一个减少吸引子的生成函数个数的方法.
描述了一种基于CORBA可移植截获器的分布对象复制模型,并在此基础上设计一个被动复制算法.该算法不仅可以保证分布对象复制的透明性和一致性,而且还具有较好的可移植性.算法
农四师工业化在探索前进中取得了显著成就，这源于解放思想，把握新型工业化的特点，依托矿产和农副产品两大资源，大力实施优势资源转换战略，抓紧创建和发展起点高、效益好、带动力强
小鼠ＭⅡ期卵母细胞经８％乙醇或电刺激后在体外可孤雌发育至囊胚。利用Ｃａ＾２＋荧光探针ｆｕｒａ－２测定人工激活小鼠卵过程中胞内游离Ｃａ＾２＋浓度的动态变化结果表明，乙醇和电刺激激活卵时均诱导胞质游离Ｃａ＾２＋浓度
介绍了重庆市对优秀近现代建筑采取的保护措施、获得的保护成果以及出现的问题。提出了使用三维数字技术实施保护的思路,进而分析了三维数字技术在重庆优秀近现代建筑保护中
化石群落的识别是古代生物群落研究的基础。上前缺少普遍遵循的化厂 落识别的原则，识别方法差异很大，这影响了古代群落研究的广度及深度。根据文本六寨泥盆系东岗 化石群落的
在太湖湖水中添加不同的氮、磷营养物进行藻类生长潜力测试，试验结果表明：单独添加ＨＰＯ＾２－４和同时添加ＨＰＯ＾２－４，ＮＯ＾－３的所有学组均能显著促进斜土栅列藻（Ｓｃｅｎｄｅｓｍｕｓｏｂｉｑｕｕｓ）和羊角芽藻）Ｓｅｌｅｎａｓｔｒｕｍ ｃａｐｒｉｃｏｒｎｕｔｕｍ）的增长，而单独添加ＮＯ＾－３Ｔ ＾＋４对二种藻类不但
通过粘性土和非粘性土裂缝注浆试验，指出粘性土裂缝注浆防渗机现是注浆段起防渗作用，而非粘性土裂缝注浆防渗，当裂缝宽度较小时，是通过延长非粘性土中水绕途径来起防渗作用，当裂缝