Scott's Isomorphism Theorem and Craig Interpolation Theorem for Lω1ω(Q)

Sun Xiaolan

doi:10.13374/j.issn1001-053x.1994.04.020

Volume 16 Issue 4

Nov. 2021

Turn off MathJax

Article Contents

Article Navigation > Chinese Journal of Engineering > 1994 > 16(4): 396-400

Sun Xiaolan. Scott's Isomorphism Theorem and Craig Interpolation Theorem for Lω1ω(Q)[J]. Chinese Journal of Engineering, 1994, 16(4): 396-400. doi: 10.13374/j.issn1001-053x.1994.04.020

Citation:

Sun Xiaolan. Scott's Isomorphism Theorem and Craig Interpolation Theorem for L_ω₁ω(Q)[J]. Chinese Journal of Engineering, 1994, 16(4): 396-400. doi: 10.13374/j.issn1001-053x.1994.04.020

Sun Xiaolan. Scott's Isomorphism Theorem and Craig Interpolation Theorem for Lω1ω(Q)[J]. Chinese Journal of Engineering, 1994, 16(4): 396-400. doi: 10.13374/j.issn1001-053x.1994.04.020

Citation:

Sun Xiaolan. Scott's Isomorphism Theorem and Craig Interpolation Theorem for L_ω₁ω(Q)[J]. Chinese Journal of Engineering, 1994, 16(4): 396-400. doi: 10.13374/j.issn1001-053x.1994.04.020

PDF( 457 KB)

Scott's Isomorphism Theorem and Craig Interpolation Theorem for L_ω₁ω(Q)

doi: 10.13374/j.issn1001-053x.1994.04.020

Sun Xiaolan

Department of Mathematics and Mechanics, USTB, Beijing 100083, PRC

Received Date: 1993-05-21
Available Online: 2021-11-13

Abstract

Abstract

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_ω₁ω(Q). This part of the article is mainly the proofs of Scott's isomorphism theorem and Craig interpolation theorem for L_ω₁ω(Q).
- model theory/complete theory,
- countable fragment,
- consistency property,
- idealmodel