期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
乳化柴油捕收剂的浮选试验研究 被引量:20
1
作者 白娅娜 朱书全 +4 位作者 解维伟 郭美玲 苑慧 陈正中 武媛 《煤炭科学技术》 CAS 北大核心 2009年第1期117-121,共5页
利用由柴油、表面活性剂和水以27:3:70的比例复合而成的新型乳化浮选药剂ZFC-1,对淮北瘦煤和张家口1/3焦煤2种煤样进行了浮选试验研究。结果表明,该浮选药剂性能优良,稳定性好,选择性高,改善了浮选性能,在基本保持精煤灰分不变的情况下... 利用由柴油、表面活性剂和水以27:3:70的比例复合而成的新型乳化浮选药剂ZFC-1,对淮北瘦煤和张家口1/3焦煤2种煤样进行了浮选试验研究。结果表明,该浮选药剂性能优良,稳定性好,选择性高,改善了浮选性能,在基本保持精煤灰分不变的情况下,与柴油相比,使用ZFC -1作为捕收剂时,可提高精煤产率5%~22%,提高可燃体产率6%~23%,节约柴油或煤油用量70%。 展开更多
关键词 浮选 乳化 ZFC-1捕收剂
下载PDF
烧结Sr_(1-x)Ca_xRuO_3系列的结构与磁性 被引量:1
2
作者 侯登录 姜恩永 +3 位作者 白海力 H.P.Kunkel X.Z.Zhou G.Williams 《金属学报》 SCIE EI CAS CSCD 北大核心 2002年第7期780-784,共5页
固相反应法制备了Sr1-xCaxRuO3系列,X射线衍射确定样品的相结构为正交畸变钙钛矿结构.随Ca替代量x的增加,晶格常数a基本保持不变,而b和c随之减小,晶格畸变更加明显.物理性质测量系统(PPMS)测量了样品的交流磁化率,零场冷却和加场冷却... 固相反应法制备了Sr1-xCaxRuO3系列,X射线衍射确定样品的相结构为正交畸变钙钛矿结构.随Ca替代量x的增加,晶格常数a基本保持不变,而b和c随之减小,晶格畸变更加明显.物理性质测量系统(PPMS)测量了样品的交流磁化率,零场冷却和加场冷却磁化强度.Curie-Weiss定律确定了样品的顺磁Curie温度Tp.结果表明,随x的增加,Tp减小.当x<0.6时Tp大于零;当x>0.6时Tp小于零.利用交流磁化率随温度变化的关系确定样品的铁磁Curie温度Tc,随x的增加Tc减小.当x=0.8时,Tc降至4K;而当x=1.0时,即使温度降到1.7K,也未出现磁有序.样品磁性随Ca替代量x的变化是其结构变化的直接结果. 展开更多
关键词 加场冷却磁化强度 零场冷却磁化强度 交流磁化率 铁磁材料
下载PDF
多晶Sr_(0.8)Ca_(0.2)RuO_3的磁性研究 被引量:1
3
作者 徐静 王海涛 李凤舞 《河北工程大学学报(自然科学版)》 CAS 2007年第3期44-47,共4页
测量了多晶Sr0.8Ca0.2RuO3的零场冷却(ZFC)和加场冷却(FC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包... 测量了多晶Sr0.8Ca0.2RuO3的零场冷却(ZFC)和加场冷却(FC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包括各温度下的磁滞回线,不同外磁场下的ZFC、FC磁化强度曲线等。对拟合得到的巴克豪森跳跃谱的有关参数进行讨论,在多晶磁性材料理论上给出了一定的指导。 展开更多
关键词 BARKHAUSEN跳跃 PREISACH模型 ZFC/FC磁化强度
下载PDF
多晶Sr_(0.6)Ca_(0.4)RuO_3磁性的Preisach模型研究
4
作者 徐静 王海涛 侯登录 《稀有金属》 EI CAS CSCD 北大核心 2007年第6期762-765,共4页
测量了多晶Sr0.6Ca0.4RuO3的零场冷却(ZFC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包括各温度下的磁... 测量了多晶Sr0.6Ca0.4RuO3的零场冷却(ZFC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包括各温度下的磁滞回线,不同外磁场下的ZFC磁化强度曲线等。对拟合得到的巴克豪森跳跃谱的有关参数进行了讨论。 展开更多
关键词 BARKHAUSEN跳跃 PREISACH模型 ZFC磁化强度
下载PDF
烧结SrRuO_3多晶体的非自旋玻璃行为
5
作者 李凤舞 赵素英 《磁性材料及器件》 CAS CSCD 2004年第3期16-17,25,共3页
测量了烧结SrRuO3多晶样品的零场冷却和加场冷却磁化强度和交流磁化率。交流磁化率的温度曲线的峰随外加直流偏场的增大向低温方向移动。继续增大直流偏场,一个峰分裂为两个峰,其中低温下的峰继续向低温方向移动,另一个高温处的峰却向... 测量了烧结SrRuO3多晶样品的零场冷却和加场冷却磁化强度和交流磁化率。交流磁化率的温度曲线的峰随外加直流偏场的增大向低温方向移动。继续增大直流偏场,一个峰分裂为两个峰,其中低温下的峰继续向低温方向移动,另一个高温处的峰却向高温方向移动。在不同频率下测量零偏场下的交流磁化率,随频率增高峰值减小,但峰的位置并没有像以前报道的那样向高温方向移动。可见,烧结SrRuO3 并没有显示自旋玻璃行为,而是普通铁磁体。 展开更多
关键词 零场冷却(ZFC)磁化强度 加场冷却(FC)磁化强度 交流磁化率 自旋玻璃 铁磁体
下载PDF
超细Fe_3O_4磁性行为的Preisach模拟 被引量:1
6
作者 李凤舞 《信息记录材料》 2006年第5期43-46,共4页
Fe3O4具有类似尖晶石的结构,是目前使用极广泛的磁性材料。近年来的研究使其在磁记录等方面的应用取得了显著的进展。Preisach模型对材料的模拟,主要从自发磁矩的先后翻转顺序出发对材料磁化结构有一个详细的数值解释,考察了材料Barkhau... Fe3O4具有类似尖晶石的结构,是目前使用极广泛的磁性材料。近年来的研究使其在磁记录等方面的应用取得了显著的进展。Preisach模型对材料的模拟,主要从自发磁矩的先后翻转顺序出发对材料磁化结构有一个详细的数值解释,考察了材料Barkhausen跳跃的实质问题。本文用改进的Preisach模型对Fe3O4各种磁性行为进行了模拟,如零场冷却(ZFC)磁化强度和加场冷却(FC)磁化强度,以及不同温度下的磁滞回线等实验结果进行了分析模拟。通过对实验拟合得到巴克豪森跳跃谱的相关参数,这些参数很好的反映了材料磁化的物理本质。 展开更多
关键词 PREISACH模型 磁滞回线 磁化强度
下载PDF
关于模上Whitehead问题的独立性的一个注记
7
作者 王世强 《北京师范大学学报(自然科学版)》 CAS CSCD 1992年第1期7-9,共3页
讨论了关于模的Vv-hitehead问题.在Shelah和Eklof的工作基础上指出:对于主理想整环上的模,其Whitehead问题的独立性可以用与可换群时类似的较直接方法证明,从而避免较多的同调代数语言.
关键词 R模 Whitehead问题 ZFC公理
下载PDF
SrRuO_3铁磁性能研究
8
作者 李凤舞 《材料开发与应用》 CAS 2004年第5期26-28,共3页
测量了烧结SrRuO3的零场冷却和加场冷却磁化强度和交流磁化率。随外加直流偏场的增加,交流磁化率与温度关系曲线向低温方向移动。继续增加直流偏场,一个峰分裂为两个峰,其中低温下的峰继续向低温方向移动,另一个高温处的峰却向高温方向... 测量了烧结SrRuO3的零场冷却和加场冷却磁化强度和交流磁化率。随外加直流偏场的增加,交流磁化率与温度关系曲线向低温方向移动。继续增加直流偏场,一个峰分裂为两个峰,其中低温下的峰继续向低温方向移动,另一个高温处的峰却向高温方向移动。在不同频率下测量零偏场下的交流磁化率,随频率增加峰值减小,但峰的位置并没有像以前报道得那样向高温方向移动。可见,烧结SrRuO3并没有显示自旋玻璃行为,而是普通铁磁体。 展开更多
关键词 零场冷却(ZFC)磁化强度 加场冷却(FC)磁化强度 交流磁化率 自旋玻璃 铁磁体
下载PDF
Sr_(1-x)Ca_xRuO_3系列的制备、结构与磁性
9
作者 李凤舞 《信息记录材料》 2004年第2期61-64,共4页
固相反应法制备了Sr1-xCaxRuO3 系列 ,X射线衍射确定样品的相结构为正交畸变钙钛矿结构。随Ca替代量x的增加 ,晶格常数a基本保持不变 ,而b和c随之减少 ,晶格畸变更加明显。利用物理性质测量系统 (PPMS)测量了样品的零场冷却 (ZFC)和加... 固相反应法制备了Sr1-xCaxRuO3 系列 ,X射线衍射确定样品的相结构为正交畸变钙钛矿结构。随Ca替代量x的增加 ,晶格常数a基本保持不变 ,而b和c随之减少 ,晶格畸变更加明显。利用物理性质测量系统 (PPMS)测量了样品的零场冷却 (ZFC)和加场冷却 (FC)磁化强度随温度的变化规律 ,对此规律给出了合理解释。 展开更多
关键词 Sr1-xCaxRuO3 铁磁体 加场冷却磁化强度 零场冷却磁化强度 制备方法 磁性
下载PDF
磁记录硬盘介质稳定性研究的实验和数值方法
10
作者 郭子政 《信息记录材料》 2009年第6期48-55,共8页
硬盘磁信息存储目前仍是信息存储的主要技术。本文介绍了高密度磁记录硬盘介质特别是图案化磁记录介质的发展沿革以及热稳定性研究的实验和数值方法、最近的一些重要研究成果。稳定性问题特别是热稳定性问题在高密度磁记录介质的研究中... 硬盘磁信息存储目前仍是信息存储的主要技术。本文介绍了高密度磁记录硬盘介质特别是图案化磁记录介质的发展沿革以及热稳定性研究的实验和数值方法、最近的一些重要研究成果。稳定性问题特别是热稳定性问题在高密度磁记录介质的研究中一直占有重要地位。本文系统总结了描述磁记录介质热稳定性的一些特征参数,比如弛豫时间、截止温度、居里温度以及损伤扩散温度等的基本概念、理论。损伤扩散方法是一种稳态蒙特卡罗方法。利用损伤扩散方法研究磁记录材料稳定性的优势和劣势给予了简单评论,并与常规蒙特卡罗方法进行了比较。最后我们指出了目前高密度磁记录介质稳定性研究中存在的一些问题。 展开更多
关键词 图案化磁记录介质 稳定性 ZFC-FC实验 截止温度 蒙特卡罗法
下载PDF
Fe_3O_4纳米颗粒的磁性研究 被引量:3
11
作者 徐静 李志华 +2 位作者 秦爱丽 范锋 王海涛 《河北建筑科技学院学报》 2005年第2期97-99,共3页
测量了Fe3O4纳米颗粒的零场冷却(ZFC)和加场冷却(FC)时的磁化强度随温度的变化关系,以及不同温度下的磁滞回线(Loop)。用Preisach模型对测量数据进行了拟合,其中主要考虑热涨落和自由能壁垒随温度的变化,数值模拟结果再现了Fe3O4纳米颗... 测量了Fe3O4纳米颗粒的零场冷却(ZFC)和加场冷却(FC)时的磁化强度随温度的变化关系,以及不同温度下的磁滞回线(Loop)。用Preisach模型对测量数据进行了拟合,其中主要考虑热涨落和自由能壁垒随温度的变化,数值模拟结果再现了Fe3O4纳米颗粒的各种磁化强度的变化规律。又对拟合得到的巴克豪森跳跃谱的有关参数进行讨论,讨论结果在纳米颗粒表现出的超顺磁性上给出了一定的理论指导。 展开更多
关键词 BARKHAUSEN跳跃 PREISACH模型 ZFC/FC磁化强度
下载PDF
烧结SrRuO_3的加场冷却(FC)与零场冷却(ZFC)磁化强度的研究
12
作者 李凤舞 《信息记录材料》 2005年第3期14-16,30,共4页
在5K到磁有序温度范围内,测量了SrRuO3样品在不同外场下的ZFC和FC磁化强度曲线。同时测量了样品在不同温度下的磁滞回线,并由此得到各温度下的矫顽力。通过分析ZFC和FC磁化过程的磁矩状态,提出一个经验公式,借助各温度下的矫顽力来计算... 在5K到磁有序温度范围内,测量了SrRuO3样品在不同外场下的ZFC和FC磁化强度曲线。同时测量了样品在不同温度下的磁滞回线,并由此得到各温度下的矫顽力。通过分析ZFC和FC磁化过程的磁矩状态,提出一个经验公式,借助各温度下的矫顽力来计算或分析ZFC磁化强度。计算得到的ZFC磁矩与实验测量得到ZFC很好地符合。守析结果显示,不同ZFC变化规律起源于FC和矫顽力随温度变化之间的竞争结果。 展开更多
关键词 加场冷却磁化强度(FC) 零场冷却磁化强度(ZFC) 磁滞回线
下载PDF
多晶SrRuO_3磁性的Preisach研究 被引量:1
13
作者 王海涛 赵秀英 徐静 《河北工程大学学报(自然科学版)》 CAS 2007年第2期102-104,共3页
测量了多晶SrRuO3的零场冷却(ZFC)和加场冷却(FC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包括各温度... 测量了多晶SrRuO3的零场冷却(ZFC)和加场冷却(FC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包括各温度下的磁滞回线,不同外磁场下的ZFC、FC磁化强度曲线等。对拟合得到的巴克豪森跳跃谱的有关参数进行了讨论。 展开更多
关键词 Barkhausen 跳跃 PREISACH模型 ZFC/FC磁化强度
下载PDF
多晶Sr_(0.6)Ca_(0.4)RuO_3磁性的Preisach研究 被引量:2
14
作者 徐静 王海涛 +2 位作者 吴慧莲 李志华 马永强 《河北建筑科技学院学报》 2005年第4期106-108,共3页
测量了多晶Sr0.6Ca0.4RuO3的零场冷却(ZFC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包括各温度下的磁... 测量了多晶Sr0.6Ca0.4RuO3的零场冷却(ZFC)的磁化强度随温度的变化关系,以及不同温度下的磁滞回线。考虑热涨落和自由能壁垒随温度的变化,用Preisach模型对测量数据进行了拟合。数值模拟再现了测量结果的变化规律,其中包括各温度下的磁滞回线,不同外磁场下的ZFC磁化强度曲线等。对拟合得到的巴克豪森跳跃谱的有关参数进行讨论,在多晶磁性材料理论上给出了一定的指导。 展开更多
关键词 BARKHAUSEN跳跃 PREISACH模型 ZFC磁化强度
下载PDF
Is SrRuO_3 Spin Glass
15
作者 侯登录 姜恩永 +3 位作者 李凤舞 任世伟 白海力 唐贵德 《Transactions of Tianjin University》 EI CAS 2002年第2期72-74,共3页
Zero field cooled (ZFC) and field cooled (FC) DC magnetization and AC susceptibility of sintered SrRuO 3 were measured over the magnetic ordering temperature. The peak in susceptibility against temperature shifts ... Zero field cooled (ZFC) and field cooled (FC) DC magnetization and AC susceptibility of sintered SrRuO 3 were measured over the magnetic ordering temperature. The peak in susceptibility against temperature shifts to lower temperature when the bias field increases. As the field still increases, the peak breaks into two peaks. One peak still shifts to lower temperature; the other shifts to higher temperature. Zero bias field susceptibility was measured at different frequencies. The peak value decreases as the increase of frequency, but it does not shift to higher temperature as reported previously. The results show that SrRuO 3 is not spin glass, but ferromagnet. 展开更多
关键词 FERROMAGNET spin glass zero field cooled (ZFC) magnetization field cooled (FC) magnetization SUSCEPTIBILITY
全文增补中
巨磁电阻材料A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni、Cd、Fe)的输运行为及磁性能研究
16
作者 卢晓羽 贾楠 +2 位作者 方必军 杨昭荣 张裕恒 《无机材料学报》 SCIE EI CAS CSCD 北大核心 2016年第7期699-704,共6页
过渡金属尖晶石型硫化物具有包括超巨磁电阻(CMR)效应在内的多种物理性能,其CMR效应机理的研究对开发巨磁电阻材料有重要价值。目前,铬基硫族尖晶石的CMR效应尚未深入研究。本论文通过固相反应法制备A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni... 过渡金属尖晶石型硫化物具有包括超巨磁电阻(CMR)效应在内的多种物理性能,其CMR效应机理的研究对开发巨磁电阻材料有重要价值。目前,铬基硫族尖晶石的CMR效应尚未深入研究。本论文通过固相反应法制备A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni、Cd、Fe)样品,研究磁性和非磁性元素掺杂对Co Cr2S4晶体结构和磁性能的影响。XRD检测表明,掺杂的A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni、Cd、Fe)均呈现纯的尖晶石结构,掺杂导致的晶胞参数变化与掺杂元素的离子半径成比例。磁电阻测定表明A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni、Cd、Fe)均具有巨磁电阻效应。掺杂削弱了铁磁相互作用,导致A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni、Cd、Fe)的居里温度TC降低。在0.01 T下,A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni、Cd、Fe)的零场冷却(ZFC)和加场冷却(FC)曲线均呈现磁性不可逆现象。A_(0.05)Co_(0.95)Cr_2S_4(A=Zn、Ni、Cd、Fe)呈现典型的亚铁磁性磁滞回线,其中Zn0.05Co0.95Cr2S4的矫顽场最大。 展开更多
关键词 A0.05Co0.95Cr2S4 巨磁电阻效应 零场冷却(ZFC) 加场冷却(FC) 矫顽场
下载PDF
Low temperature ferromagnetic properties of CdS and CdTe thin films 被引量:1
17
作者 Hafiz Tariq Masood Zahir Muhammad +2 位作者 Muhammad Habib 王东明 王德亮 《Chinese Physics B》 SCIE EI CAS CSCD 2017年第6期389-394,共6页
The magnetic property in a material is induced by the unpaired electrons. This can occur due to defect states which can enhance the magnetic moment and the spin polarization. In this report, CdS and CdTe thin films ar... The magnetic property in a material is induced by the unpaired electrons. This can occur due to defect states which can enhance the magnetic moment and the spin polarization. In this report, CdS and CdTe thin films are grown on FTO glass substrates by chemical bath deposition and close-spaced sublimation, respectively. The magnetic properties, which are introduced from oxygen states, are found in CdS and CdTe thin films. From the hysteresis loop of magnetic moment it is revealed that CdS and CdTe thin films have different kinds of magnetic moments at different temperatures. The M–H curves indicate that from 100 K to 350 K, CdS and CdTe thin films show paramagnetism and diamagnetism, respectively.A superparamagnetic or a weakly ferromagnetic response is found at 5 K. It is also observed from ZFC/FC curves that magnetic moments decrease with temperature increasing. Spin polarized density functional calculation for spin magnetic moment is also carried out. 展开更多
关键词 CdS and CdTe thin films magnetic properties (VSM ZFC/FC) DFT
下载PDF
针对教学场景的ZFC集合论Coq形式化 被引量:1
18
作者 万新熠 徐轲 曹钦翔 《软件学报》 EI CSCD 北大核心 2023年第8期3549-3573,共25页
离散数学是计算机类专业的基础课程之一,命题逻辑、一阶逻辑与公理集合论是其重要组成部分.教学实践表明,初学者准确理解语法、语义、推理系统等抽象概念是有一定难度的.近年来,已有一些学者开始在教学中引入交互式定理证明工具,以帮助... 离散数学是计算机类专业的基础课程之一,命题逻辑、一阶逻辑与公理集合论是其重要组成部分.教学实践表明,初学者准确理解语法、语义、推理系统等抽象概念是有一定难度的.近年来,已有一些学者开始在教学中引入交互式定理证明工具,以帮助学生构造形式化证明,更透彻地理解逻辑系统.然而,现有的定理证明器有较高上手门槛,直接使用会增加学生的学习负担.鉴于此,在Coq中开发了针对教学场景的ZFC公理集合论证明器.首先,形式化了一阶逻辑推理系统和ZFC公理集合论;之后,开发了数条自动化推理规则证明策略.学生可以在与教科书风格相同的简洁证明环境中使用自动化证明策略完成定理的形式化证明.该工具被用在了大一新生离散数学课程的教学中,没有定理证明经验的学生使用该工具可以快速完成数学归纳法和皮亚诺算术系统等定理的形式化证明,验证了该工具的实际效果. 展开更多
关键词 COQ ZFC公理集合论 一阶逻辑
下载PDF
Structural and Magnetic Properties of Monophasic Maghemite (<i>γ</i>-Fe<sub>2</sub>O<sub>3</sub>) Nanocrystalline Powder
19
作者 Juan Adrián Ramos Guivar Arturo Isaías Martínez +3 位作者 Ana Osorio Anaya Luis De Los Santos Valladares Lizbet León Félix Angel Bustamante Dominguez 《Advances in Nanoparticles》 2014年第3期114-121,共8页
Structural and magnetic studies of monophasic maghemite (γ-Fe2O3) magnetic nanocrystallites (MNCs) synthesized by the co-precipitation chemical route are reported in this paper. For the synthesis, a starting precurso... Structural and magnetic studies of monophasic maghemite (γ-Fe2O3) magnetic nanocrystallites (MNCs) synthesized by the co-precipitation chemical route are reported in this paper. For the synthesis, a starting precursor of magnetite (Fe3O4) in basic medium was oxidized at room temperature by adjusting the pH = 3.5 at 80°C in an acidic medium without surfactants. X-ray diffraction (XRD) pattern shows widened peaks indicating nanometric size and Rietveld Refinement confirms only one single-phase assigned to γ-Fe2O3 MNCs. High Resolution Transmission Electron Microscopy (HR-TEM) demonstrates the formation of nanoparticles with diameter around D ≈ 6.8 ± 0.1 nm which is in good agreement with Rietveld Refinement (6.4 ± 1 nm). A selected area electron diffraction pattern was carried out to complement the study of the crystalline structure of the γ-Fe2O3 MNCs. M(H) measurements taken at different temperatures show almost zero coercivity and remanence indicating superparamagnetic domain and high magnetic saturation. 展开更多
关键词 MONOPHASIC Nanomaghemite RIETVELD Refinement TEM SAED M-H Loops ZFC
下载PDF
用超幂构造力迫扩充
20
作者 张宏裕 《扬州师院学报(自然科学版)》 CSCD 1994年第4期1-9,共9页
设M是ZFC的可数标准传递模型,B是M上的完全布尔代数,I是B的单位元,G是B上的generic超滤,则有:1) 若A=■M_i(■i∈I(M_i≡M)),A上定义关系R,E,L(A)={∈,=}∪{f|f∈A}(f是f的名)是力迫语言,那么<A,R,E>是L(A)的布尔值模型;2) 若A/G... 设M是ZFC的可数标准传递模型,B是M上的完全布尔代数,I是B的单位元,G是B上的generic超滤,则有:1) 若A=■M_i(■i∈I(M_i≡M)),A上定义关系R,E,L(A)={∈,=}∪{f|f∈A}(f是f的名)是力迫语言,那么<A,R,E>是L(A)的布尔值模型;2) 若A/G上定义关系∈■,则<A/G,∈■>是M的力迫扩充M[G];3) M[G]=ZFC+ CH。 展开更多
关键词 超幂 布尔代数 力迫扩充
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部