论文部分内容阅读
对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。
L（Q）格值模型论的紧致定理
【摘 要】
：
对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。
【机 构】
：
北京林业大学基础部,北京大学计算机系
【出 处】
：
安徽师大学报
【发表日期】
：
1996年1期
其他文献
对甘肃小柳沟钨钼矿床进行了辉钼矿Re—Os和白云母Ar-Ar同位素定年。2件辉钼矿样品获得的Re—Os模式年龄分别为（427±6）Ma和（428±6）Ma，平均（427．5±6）Ma；3件自云母Ar—Ar
<正>这是一个开始,一个当中国化纤行业发展到一定程度的必然开始。这是一个商标,一个为中国化学纤维实现绿色发展给予认可的商标。这是一种方案,在中国纺织工业探索"绿色发展
目的探究腹部CT检查诊断结肠肿瘤性肠梗阻的应用效果。方法选取本院收治的结肠肿瘤性肠梗阻患者110例作为研究对象,运用随机、单盲法分为研究组和对比组,每组55例。研究组采
近年来,江苏省东海县不断完善和创新一事一议财政奖补工作,积极探索“三规范、三统一、二注重”管理模式,有力推进了一事一议财政奖补工作。2019年,东海县共实施了50个一事一
建立了一种简便、快速、准确的喜树叶片中喜树碱含量的高效液相色谱分析方法;采用英国HPLCTechnology公司的TechsphereODS柱(25cm×4.6mmID,5μm),流动相乙腈-水(体积比4
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
"回顾多年来的坎坷经历,我觉得失业并不可怕,真正可怕的是失志。任何时候都不要丢掉创业的梦想和勇气。有梦想,则百事可为;有勇气,腐朽也可变为神奇。"赵新宇谈起创业充满激
倪萍有很多身份:曾经的“央视一姐”;出演过很多影视剧,获得过金鸡、华表等大奖的国家二级演员;出版过好几本散文集的作家。很多人不知道的是,她还是一名“画家”。在2020年
系统研究了荧光光谱法测定吲哚美辛的条件, 包括酸度、溶剂、β-环糊精的用量及β-环糊精与溴化十六烷基三甲基铵 (CTMAB)协同作用的影响, 发现在 pH 10.8的缓冲溶液中, CTMA