论文部分内容阅读
将在逻辑Lω,ω中把完全k（k〈ω）叉树理论的可数模型刻画到同构，并给出它们的Scott语句具体形式，证明了完全k叉树理论的可数模型的胞腔性质．
完全k叉树理论的可数模型及其胞腔性
【摘 要】
：
将在逻辑Lω,ω中把完全k（k〈ω）叉树理论的可数模型刻画到同构，并给出它们的Scott语句具体形式，证明了完全k叉树理论的可数模型的胞腔性质．
【机 构】
：
甘肃农业大学理学院,北京师范大学数学科学学院
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
2012年4期
其他文献
选择义长灌域作为研究区，根据水量平衡原理，定量分析了1991-2010年灌域地下水各均衡要素的变化情况，评价了节水改造对地下水的影响．结果显示，节水改造工程实施后，地下水补给量平均
究竟自动化与智能化、智能化与智慧化(以下简称“三化”)的关键区别在哪里?本文从印刷业咨询顾问的角度谈点认识,希望帮助大家以后在参加展会论坛或是考察项目时,一看便知对
一.引言 发动机台架试验是汽车发动机生产和开发过程中的一个重要环节，发动机技术的发展在很大程度上取决于试验技术的发展。20世纪90年代以来，全球的石油危机和大气污染使汽车
本文旨在研究甘肃永登县城镇地区称呼语的演变,主要研究亲属称呼语、特殊亲属称呼语、名字和零称呼语。通过对452份问卷调查的数据进行统计分析,从中可以发现父亲、岳父母、
为了应对国内外铜市场的需求和竞争，江西铜业股份有限公司决定提升旗下的贵溪冶炼厂（简称贵冶）铜冶炼产能，新建一座30万吨级铜冶炼厂，采用世界上最先进的闪速炼铜工艺技术。与其配
近年来．随着微电子和控制技术的发展．执行器产品的数字化、智能化、通信化技术也得到了快速发展。执行器产品中气动和电动控制阀是过程控制系统最为广泛使用的现场仪表之一，智能
一电站先进信息控制系统随着计算机技术和网络技术的快速发展，先进信息控制系统在火力发电厂得到广泛应用。一个电站信息控制系统，可由多层次功能的计算机控制系统构成：
在德国汉诺威市举办的汉诺威展（Hannover Fairs）是世界上最大也是最著名的工业展览会，每年展期，世界各地的工业厂商云集此处，展示他们最新的理念、技术和产品。用户和技术界的人们
目前药盒制造一般采用230~400 g/m^2的白卡纸作为包装材料。当然,也有一些制药企业会选用灰底白板纸或木浆底白板纸。而药盒的包装结构,大多采用折叠纸盒的形式,药盒在交付到