格的正规完备化的Boolean性

来源 :江西师范大学 | 被引量 : 0次 | 上传用户：kornnay

【摘要】

：

作为Heyting代数概念的推广,本文引入了 E-Heyting偏序集,Heyting交半格和伪补交半格的概念,证明了:(1)偏序集P是E-Heyting的当且仅当P的正规完备化为Heyting的;(2)Heyting交半格是E-Heyting偏序集;(3)若B=(B,∨,∧,0,1)为有0,1的格,则B为Boolean代数当且仅当B为Heyting的且其正规完备化为Boolean代数,当且仅当B

【作者】

：

江碧霞

【出处】

：

江西师范大学

【发表日期】

：

2020年02期

【关键词】

：

Boolean代数 Heyting交半格 E-Heyting偏序集伪补交半格正规完备化

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

s2-连续性的遗传性和映射不变性

基于正规完备化算子,本文讨论了 s2-连续性和s2-拟连续性的遗传性和映射不变性.主要结果有:(1)s2-连续性、s2-交连续性与s2-拟连续性对弱Scott开集都是可遗传的;(2)s2-连续性、s2-交连续性和s2-拟连续性对弱Scott闭集一般不具有遗传性;(3)s2-连续偏序集的连续收缩与s2-连续偏序集在弱Scott连续的核映射下的像还是s2-连续的;(4)s2-拟连续偏序集的连续收缩与s

学位

s2-连续偏序集s2-拟连续偏序集连续收缩内核算子遗传性

两粤黄檀化学成分研究

目的:以豆科黄檀属药用植物两粤黄檀Dalbergia benthami Prain为研究对象,对其化学成分进行研究,为进一步研究药理活性和药效物质基础提供科学依据。方法:采用乙醇渗漉法对两

学位

两粤黄檀黄檀属4’-羟基-6-羟甲基-57-二甲氧基异黄酮异黄酮类香豆素类

《礼记·王制》与《荀子·王制》比较研究

自宋代以来,《礼记·王制》就被学者视为一篇独立的文献来研究,它所记载的政治制度不仅作为古代帝王治理天下的模板,而且蕴含了儒家礼制思想的思维模式。尤其到了清末,《礼记

学位

礼制王制礼法合治社会秩序

三维麦克斯韦方程的分裂步能量守恒格式

本文对三维麦克斯韦(Maxwell)方程构造了四种能量守恒分裂格式.为了避免求解大规模代数方程组.我们使用局部一维(LOD)法将原始方程化为六个局部一维的子方程,再将Maxwell方程按空间导数(?)x,(?)y,(?)z分为三部分,分别用Lie-Trotter和Strang分裂方法,最后对每个LOD方程用Crank-Nicolson(C-N)格式进行时间离散,高阶紧致(HOC)方法进行空间离散.

学位

三维Maxwell方程局部一维方法高阶紧致格式分裂步方法能量守恒

激光诱导等离子体微纳加工

随着微加工和微系统技术的发展,表面微/纳米结构广泛应用于各种功能微系统的制备,因此在半导体、玻璃、陶瓷等各种难加工材料上高效制备高质量的微/纳米结构显得尤为重要。目前,微结构的制备方法主要是精密机械加工、微细电火花加工、光刻和激光加工等。相比较其他的制备手段,激光加工技术作为一种高度柔性和智能化的先进加工技术,有着非接触、能量精确可控、材料适应性广、质量优、节能环保等综合优势,但是激光加工的热效应

学位

微/纳结构激光诱导等离子体微纳加工热缺陷槽型轮廓

隧道法改良Bentall术治疗主动脉根部瘤的临床效果研究

目的探讨隧道法改良Bentall术治疗主动脉根部瘤的临床效果。资料与方法回顾性分析2015年7月至2019年7月郑州大学第一附属医院心外科收治的35例主动脉根部瘤并主动脉瓣病变的

学位

主动脉根部瘤隧道法改良Bentall术

前庭核表达的嗅觉受体Olr81影响晕动症易感性的机制

晕动症(motion sickness)是人体处在加速度运动环境下产生的以自主神经症状为主的多系统生理反应综合症。在人群中,晕动症具有明显的个体易感性差异,有研究发现基因的单核苷

学位

晕动症易感性嗅觉受体尾侧前庭核G蛋白偶联受体蛋白激酶

天基光学图像几何校正中恒星控制点优选技术研究

目前,世界主要军事强国都在致力于战略预警系统的建设,而天基预警系统是战略预警体系的重要组成部分。天基光学图像的几何校正技术是天基预警系统的基础环节,图像的校正精度

学位

几何校正恒星控制点优选算法交叉验证随机抽样一致性

非线性波导中级联SHG/SPDC的理论及数值分析

近些年来,量子通信受到了高度的重视,而纠缠光子对作为通信的载体已经引发了大量的研究,通过自发参量下转换(SPDC)或者级联SHG/SPDC等非线性效应可以实现量子纠缠光子对的产生,并且已有大量国内外实验室对其进行了研究。本文从量子理论出发,基于薛定谔绘景下SPDC过程理论研究与更加精确的模型设定,推导出了级联SHG/SPDC过程的波函数和转换效率,并且将仿真结果与实验结论进行了对比,最终得到该过程

学位

非线性光学级联SHG/SPDC波函数转换效率

全反式视黄酸通过下调LncRNA HOXA10异常表达抑制胃癌前病变的恶性转化的研究

目的本研究检测了胃癌前病变患者血清外泌体中长链非编码RNA(Long noncoding RNA,Lnc RNA)的特异性表达,研究胃癌前病变患者血清外泌体对GES-1细胞活性的作用;使用全反式视黄

学位

胃癌前病变外泌体LncRNA HOXA10all-trans retinoic acid

格的正规完备化的Boolean性

其他学术论文