和谐性质及其应用Ⅰ

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

L_（ω1ω）（Q）中的Scott同构定理及Craig插值定理

本文结合二阶逻辑公理系统和无穷逻辑公理系统两种思想，应用和谐性质方法，建立了无穷逻辑中的二阶语言Ｌ_（ω１ω）（Ｑ）公理系统及模型论，对Ｌ_（ω１ω）（Ｑ）中的同构定理及Ｃｒａｉｇ插值定理给予了证明．

和谐性质及其应用Ⅱ

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