摘要
本文结合二阶逻辑公理系统和无穷逻辑公理系统两种思想，应用和谐性质方法，建立了无穷逻辑中的二阶语言Ｌ_（ω１ω）（Ｑ）公理系统及模型论，对Ｌ_（ω１ω）（Ｑ）中的同构定理及Ｃｒａｉｇ插值定理给予了证明．
Kim B Bruce gave a system of axioms for second order logic L(Q). H J Keisler in 1977 published a book called 'Model Theory for Infinitary Logit' to give a system of axioims for infinitary logic. This article combines the two ideas of the two system of axioms, applying the consistency property to give a system of axioms and model theory for infinitary second order logic L_(ω1ω)(Q). This part of the article is mainly the proofs of Scott's isomorphism theorem and Craig interpolation theorem for L_(ω1ω)(Q).
出处
《北京科技大学学报》
EI
CAS
CSCD
北大核心
1994年第4期396-400,共5页
Journal of University of Science and Technology Beijing
关键词
模型论
公理系统
Scott同构
插值
model theory/complete theory
countable fragment
consistency property
idealmodel
