格值模型论中紧致性定理的一种证法

来源 :北京师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:zhangersong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 本文是[2]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与[2]是独立的。本文主要是用常量构作模型的方法证明某些有限值格时的紧致性定理。([2]中已用超积方法证明了有限格值时的紧致性定理。)主要目的是说明这种有用的方法。定义.设△(p,q)是一个由命题变量 p,q经∧,∨,‘组成的良构式,若赋值时
其他文献
【正】 一、出成绩的年龄大大提前在21届奧运会上男子队中,成绩好年龄又小的以苏联队较明显,参加比赛的六名队员中有三名19岁的——基加金、马尔凯洛夫、基霍洛夫。其中基加
【正】 广东男篮能够参加一九七五年第三届全运会正式决赛,有机会向党中央、向毛主席、向广大工农兵群众汇报抓革命促训练的情况,感到非常光荣和幸福。今后,我们一定要更好地
<正> 这是我们研究齐次模型的第二篇文章。在第一篇文章里我们证明了:(1)任意可数理论T的可数模齐次型数h_T
<正> 一、Rindler 时空中的 Dirac 粒子热谱Rindler 坐标系是在平直时空中,从随动坐标系看来作匀加速运动的坐标系。如果匀加速度是 b,那么定义沿加速方向的 Rindler 空间坐
【正】 孙克同学今年十六岁,他从入队以来积极努力学习毛主席著作,理论联系实际,严格要求自己,路线觉悟有了显著提高,并以顽强的革命精神向高难动作冲击。当他接受学习三周下
【正】 这对培养优秀运动员是很重要的方面。我们那里训练年龄18岁一组,18岁——22岁一组。23岁以后一组。发现18岁年龄很重要,很关键。很多训练我搞过。这个年龄可搞长距离
【正】 如何使用带普通瞄准具的“陶兹一8”型小口径步枪进行试射? 下面是苏联功勋运动员古申对这个问题的回答。试射卡片 1.步枪号码:18894 2.弹着检查日期:74年5月10日 3.
为了使少年体操运动员能更快地学会“旋子360&#176;”这个具有民族风格的动作,北京什刹海业余体校教练张肇华同志,据根自己练习这个动作的体会,利用连环画的形式,画出了动作
<正> Ⅰ.问题的提出在讨论中子在高温轻介质中的输运时,为简单起见,我们曾略去介质的宏观流体力学运动。这样,假定轻核 i 的速度分布函数
<正> 本文提出一种区域环境中水体污染物质流的赋权有向图模型,并用这种模型来研究区域水污染系统的调控问题,提出了一种该系统的模糊调控方法,以期能对区域环境中污染物质的