国家自然科学基金(11171156)
- 作品数：43 被引量：27H指数：3
- 相关作者：卢涛祝祯祯贺伟王娣高淑红更多>>
- 相关机构：淮北师范大学南京师范大学南京大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学研究项目安徽省高校省级自然科学研究项目更多>>
- 相关领域：理学更多>>
- 弱连续交既约元及其性质
- 2017年
- 作为交既约元的一种推广,引入弱连续交既约元的概念,并对其在完备格上的一些性质进行讨论,得到若干结果.
- 王逸芬卢涛
- 关键词：完备格
- Pytkeev空间与弱FU空间的几个注记被引量：1
- 2016年
- 讨论了Pytkeev空间与弱FU空间几个映射的性质,得到了两类空间被连续映射保持与逆保持的几个结论,纠正了Malykhin与Tironi的两个错误证明.
- 王汉锋贺伟
- 关键词：闭映射
- 伪补格上的弱Way-below关系
- 2014年
- 本文首先给出伪补格的定义,然后根据偏序集上Way-below关系的定义在伪补格上定义了弱Waybelow关系,并给出它的等价判定,从而得到伪补格上满足弱Way-below关系的元素的相关性质.
- 祝祯祯卢涛
- 弱完全交既约元及其性质被引量：1
- 2015年
- 根据格上交既约元、完全交既约元的概念,定义了弱完全交既约元,进而得出完备格上弱交既约元的一些性质及相关结论,并给出了完全交既约元的另一种等价定义.
- 王娣卢涛
- 关于格上二元运算“-”的性质研究
- 2014年
- 在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.
- 祝祯祯卢涛
- 关键词：分配格格矩阵
- 范畴CDCPO及其子范畴的完备性
- 2014年
- 讨论范畴CDCPO的完备性以及余积的存在性。证明了CDCPO的子范畴L-CDCPO不是完备的;给出了该范畴的一个非满的完备子范畴LCDOM并证明了该子范畴存在余积。给出了L-CDCPO范畴的满子范畴LCDOMI并证明其存在等值子。
- 朱宁静贺伟
- 关键词：PO
- 相容完备格上的保交映射
- 2017年
- 首先在相容半素理想的基础上建立了相容完备格的概念,进而在相容完备格上定义了相容半Lawson拓扑,最后讨论了了相容半Lawson拓扑、相容半Scott拓扑及其连续映射。
- 李冠宇卢涛
- 交半连续格的性质
- 2016年
- 文章主要讨论交半连续格的一些性质,并在交半连续格概念的基础上给出交半Scott拓扑的概念.
- 王娣卢涛
- 关键词：半素理想半连续格
- 相容半连续格上的基及局部基被引量：2
- 2016年
- 在完备格上引入相容半连续格的基与局部基的概念,探讨了基与局部基的一些基本性质.特别地,给出了相容半连续格的基、局部基与相容关系的等价刻画.
- 王娣卢涛
- 关键词：局部基
- 条件并半格上的相对极大理想被引量：2
- 2012年
- 引入偏序集上的相对极大理想的概念,证明在任意的条件并半格中的一个理想是相对极大理想当且仅当它是理想格中的完全并即约元,最后给出了Heyting代数中相对极大理想的一个等价刻画.
- 刘德贤卢涛陈英
- 关键词：HEYTING代数
