和谐性质及其应用Ⅰ

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。

和谐性质及其应用Ⅱ

Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。

趣谈圆锥曲线的一个和谐性质

由于圆锥曲线的第二定义的统一性,因此三种曲线的很多性质有相似之处.笔者在探究一道椭圆求值问题时,经过整理发现了圆锥曲线的另一个有趣的和谐性质.

L_ω_（1）ω语言格值模型论的一些研究

建立ω１ω语言格值模型论的Ｍａｌｉｔｚ插值定理和省略型定理，简单讨论格值齐次模型的性质，最后将二值模型论中构造模型的初等链方法引入ω１ω语言格值模型论．

社会主义民族繁荣和民族接近的辩证法——学习赵紫阳《为中华民族的振兴而奋斗》的体会

民族繁荣和民族接近是反映社会主义民族关系发展的一组重要范畴,深入研究它们之间的辩证关系、特点及其矛盾运动规律,对于正确认识和处理社会主义民族关系,加强各民族的团结,保证四化建设的顺利进行是十分必要的。最近,赵紫阳同志在全国民族团结表彰会上作了题为《为中华民族的振兴而奋斗》的重要讲话。这个讲话,科学地阐明了实现整个中华民族以及组成它的各个民族的共同繁荣的重大意义和途径,为进一步深入探讨社会主义民族关系的辩证法指明了方向。本文仅就社会主义民族繁荣和民族接近辩证法的问题,谈谈自己学习的心得体会。

ζ_(ω_1ω)语言格值模型论的Malitz插值定理

本文利用和谐性质的方法，证明了ζ＿（ω＿１ω）语言格值模型论的Ｍａｌｉｔｚ插值定理，并给出了有意义的应用。