| 和谐性质及其应用Ⅰ |
| |
| 引用本文： | 孙晓蓝.和谐性质及其应用Ⅰ[J].北京科技大学学报,1989(4). |
| |
| 作者姓名： | 孙晓蓝 |
| |
| 作者单位： | 北京科技大学数学力学系 |
| |
| 摘 要： | Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。
|
| 关 键 词： | 和谐性质 基本项 理想模型 标准模型 |
Consistency Property and Its Application I |
| |
| Sun Xiaolan.Consistency Property and Its Application I[J].Journal of University of Science and Technology Beijing,1989(4). |
| |
| Authors: | Sun Xiaolan |
| |
| Institution: | Sun Xiaolan |
| |
| Abstract: | Kim B. Bruce gave a system of axioms lor second order logic L(Q). H. J. Keisler presented a system of axioms for infinilary logic. This article gives a system of axioms and model theory for infinitary second order logic ZWIW(Q), based on the combination of both ideas of the systems and application of the consistency property; proves the model existence theorem and completeness theorem in Lw1w(Q). |
| |
| Keywords: | consistency property basic term ideal model standard model |
| 本文献已被 CNKI 等数据库收录！ |
