论文部分内容阅读
给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。
lω1ω的一个子逻辑系统及其特征
【摘 要】
：
给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致
【机 构】
：
北京师范大学数学系
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
1995年2期
【基金项目】
：
国家教委博士点基金
其他文献
子宫内膜异位症是临床多发病、疑难病。药物治疗主要用于轻中度内异症、重度内异症的术前准备、术后的巩固治疗。目前临床上无论是蒙药疗法、中药疗法、西药疗法、还是手术疗
目的探究替吉奥联合中医辨证治疗中晚期原发性肝癌的临床效果.方法随机选取从2017年4月~2018年12月来我院进行治疗的42例中晚期原发性肝癌的患者进行治疗和分析.随机将42例患
为了改善溶剂压伸法制备的高氯酸铵/复合改性双基(AP/CMDB)推进剂的燃烧性能和力学性能,采用差示扫描量热法(DSC)和扫描电子显微镜(SEM)研究了碳纳米管(CNTs)对AP/CMDB推进剂
目的：研究糖尿病合并肺部感染应用哌拉西林舒巴坦及氨溴索的临床疗效。方法：将收治的126名2型糖尿病合并肺部感染患者随机分为研究组和对照组各63例。两组均应用常规对症治疗及
目的探讨中药熏洗治疗仪对痔瘘患者术后疼痛的影响。方法收集医院肛肠外科于2017年3月~2020年3月收治的80例痔瘘手术患者进行研究,随机分组为对照组与研究组,各40例。对照组
在许多情况下，形如θ０＝ＥＨ（Ｘ，μ）是人们所感兴趣的参数，这里Ｈ（·，·）是一已知在Ｒｄ×Ｒｋ上的连续实函数，其中，μ∈Ｒｋ是一讨厌参数，利用经验似然比泛函给出了θ０的经验似然比置信区间，属非参数
目的:百草枯(PQ)中毒是临床上常见的急危重症,致死率高,并且目前尚无特效拮抗剂。肺是PQ主要损伤的靶器官,尤其肺泡上皮细胞是其特异性靶点。课题组前期的体内实验发现,甘草
在当前市场经济环境下,我国企业取得了较快的发展,特别是在市场经济体系不断完善的新形势下,财务管理在企业发展中的重要性越来越体现出来,已经成为企业管理工作的重要内容。
看了第7期的《突围抑郁门》后，很有感触，因为我就曾经有过从抑郁到抑郁症的经历。在这里希望编辑老师不要嫌我哆嗦，因为我曾经深受其害，我希望我的亲身经历能给广大读者提个醒—
随着网络技术的发展,篇际互文越来越成为话语商业化、技术化和民主化的一种重要策略。篇际互文不只是一种文本特性,也是一种重要的话语策略。在网络新闻语篇建构中,篇际互文