论文部分内容阅读
主要证明了X^ω在中不存在极大和极小Ⅰ-析取ω-语言，提出Ⅰ-析取辖区概念并证明其是稠密语言．
Ⅰ-析取ω-语言的几个性质
【摘 要】
：
主要证明了X^ω在中不存在极大和极小Ⅰ-析取ω-语言，提出Ⅰ-析取辖区概念并证明其是稠密语言．
【机 构】
：
昆明学院数学系,云南大学数学与统计学院
【出 处】
：
西南师范大学学报：自然科学版
【发表日期】
：
2008年5期
其他文献
长久持续的发展是每一个企业的经营目标,其中最有效的管理体系就是拥有自己的内部控制系统,根据企业成立之初设定的目标推动企业组织变革;对于企业一项重要的管理控制手段就
近百年来,四川绵阳境内的平武白马藏族与北川羌族的传统文化发生了巨大的变化,特别是居住环境、村寨布局和建筑形式等方面的变化尤具代表性,并烙上了深深的时代印痕。笔者根
近几年,国外家具设计风格在中国市场取得较好发展,国内消费者和投资人逐渐意识到问题的严重性,迫切希望中国传统家具风格能在市场中占据主导地位。国内众多知名设计师逐渐将
Re-Os同位素体系已成为金属矿床定年和示踪的重要手段之一。文章在简述Re-Os同位素体系基本原理基础上,综述了国内外的最新研究成果,认为Re-Os同位素测试对象不再局限于辉钼
风电、光伏等间歇性可再生能源的大规模引入,以及电动汽车、热泵等新型可控负荷的不断应用,将给电力系统的安全运行带来很大的挑战。在传输网层面,系统的功率平衡需要考虑新
红旗岭―茶尖岭矿带发育镁铁-超镁铁岩体(岩墙群)及铜镍硫化物矿床。关于该矿带含矿岩体时代的观点包括华力西期和印支期。含铜镍硫化物矿床的镁铁-超镁铁岩体(岩墙群)发育要
通过对10种不同苜蓿的栽培品种再生体系的比较研究，以及再生条件的优化，筛选出易于再生的费纳尔，金皇后，赛特6号3个苜蓿栽培品种．结果表明：胚性愈伤组织诱导培养基：改良Ms＋2，4-D2mg／L＋6-
目的奥美拉唑、泮托拉唑对于消化性溃疡病患免疫功能的影响。方法从2016年04月至2018年03月内科接诊的消化性溃疡患者中随机抽取100名患者进行用药研究,把患者随机分为两组--
随着激光器和探测技术的不断进步,远程激光测距技术也得到了迅速的发展。如今远程激光测距仪已经在军事、航天、工业等领域发挥着不可替换的作用。本文介绍了目前国内外远程