【摘 要】
:
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同
【基金项目】
:
国家自然科学基金(61103018,61300153).
论文部分内容阅读
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的dcpo构的新的充分条件.
其他文献
引入了图的D(β)-点可区别一般边染色,并对β=2的情形做了讨论,得到了路,圈,星,双星,扇,轮的D(2)-点可区别一般边色数,对于2距离色数等于3及4的图的D(2)-点可区别一般边色数做了探
首先建立了Bochner-Riesz算子B_t~δ与加权Lipschitz函数b生成的极大交换子sharp极大函数的点态估计.应用该点态估计证明了Bochner-Riesz算子的极大交换子是L~p(μ)到L~p(μ~(1-p
目的:探讨慢性周围动脉闭塞的选择性动脉内溶栓治疗价值.方法:36例慢性周围动脉闭塞中,男19例,女17例.年龄38~69岁,平均48.5±6.8岁.右下肢11例,左下肢16例,左上肢6例,右
【正】 苏轼留给我们三千多首诗词,这是一份宝贵的文学遗产,它不仅可以帮助我们认识苏轼,认识苏轼所处的社会,而且还可以使我们从中得到艺术上的享受和借鉴。设色,这就是东坡
本院近几年收治外伤性膈疝4例,均经X线诊断,手术证实现报告如下.
越南商品奇缺。再加上商品的粗制滥造,投机例把,致使流通分配情况恶劣,生产管理和市场管理异常混乱,给消费者造成了损失,下面仅列举一些比较突出的事例:
考察非线性二阶边值问题-u″(t)+λu(t)=h(t)f(t,u(t))+ζ(t,u(t)),0〈t〈1,u′(0)=u′(1)=0,的正解,其中λ〉0.文中允许ζ(t,u)在t=0,t=1和u=0处奇异.利用锥上的GuoKrasnosel'skii不动点定理证明了n
为激发全省农机推广人员和农机大户创业热情,进一步推动全省农机化技术推广体系建设和发展,吉林省农委经各级农机部门推荐,省评审小组考核评定,2010年3月份授予长春市农机推广总
考虑带有Bernoulli反馈的多级适应性休假的Geo/G/1离散时间排队系统.通过引入服务员忙期和使用一种简洁的分解方法,讨论了队长的瞬时分布,得到了在任意时刻n队长为j的概率关
为更好地贯彻党的十二大文件精神,培养造就新一代大学生,最近,本刊编辑部特约本院部分同志撰文,谈谈他们学习十二大文件的心得体会。摘要如下。