论文部分内容阅读
该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．
关于D∞的一个基本投射不等式
【摘 要】
：
该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．
【机 构】
：
浙江师范大学数理学院,衢州学院教育系
【出 处】
：
杭州师范学院学报：自然科学版
【发表日期】
：
2008年1期
【基金项目】
：
浙江省自然科学基金（Y105272）.
其他文献
<正>经历了200多年的城市化后,全球城市发展开始积极转型。如何更加科学地规划城市、建设城市、运营城市,促进人与城市、人与自然、人与建筑、人与交通更加和谐、更加平衡、
斯凯孚推出的全新麦弗逊悬架轴承单元，能够延长单元使用寿命，进而延长悬架系统的总体使用寿命。斯凯孚运用六西格玛方法重新设计了麦弗逊悬架轴承单元，使其能够适应更严峻的驾驶
原位控制技术是近年来发展较为迅速的针对内源磷释放的控制技术．文章综述了曝气、深层复氧、水力冲刷以及主动和被动原位覆盖技术对沉积物磷释放控制的研究进展，并对原位覆盖技
企业经营分析的基本内容 在市场经济中,企业是主体结构,企业经营分析要从经营现代化和合理化角度展开深度整合,尤其是对市场经济环境进行数据和信息规划,从而建立动态化的分
期刊
基于问题解决的教学方法是课堂教学的重要方法.以学生为主体、 问题为中心, 以提出问题、 研究和解决问题为主线,开展自主学习和合作探究, 从而激活学生思维提高教学效率.以
程颢和程颐的理学构建是以其全新易学观为基础的,是借助开显易学中的宇宙图景、性命之理、修养工夫和境界哲学的新内涵,并涵摄吸收《四书》等典籍中的思想资源来实现的。程颢
我国现阶段对外贸易的发展水平不断提高，并已有了全球最大的外汇储备量。因此，人民币急需“走出去”，加快人民币国际化进程是我国一项重要的经济战略。本文从研究国际贸易人民币
目的探讨耐碳青霉烯类鲍曼不动杆菌（CRAB）引发的医院感染分布及耐药性,为寻求更有效的预防和控制方式提供科学依据。方法采用回顾性调查的方法,对2010年至2011年深圳市第二人民
自动化立体仓库简称立体仓库或立体库，一般是指采用几层、十几层乃至几十层高的货架储存单元货物，用相应的物料搬运设备进行货物入库和出库作业的仓库。立体库系统是由立体货架
电力营销相关概念分析 市场经济下产生营销这一概念,电力体制改革前供电企业处于绝对垄断地位,营销活动在没有竞争的大环境下进行.但随着市场经济体制逐渐完善,改革力度加强,
期刊