Volume 16 Issue 4
Nov.  2021
Turn off MathJax
Article Contents
Abstract
Related Articles
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ω1ω(Q)[J]. Chinese Journal of Engineering, 1994, 16(4): 396-400. DOI: 10.13374/j.issn1001-053x.1994.04.020
shu

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

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

More Information
  • Received Date: May 20, 1993
  • Available Online: November 12, 2021
    Graphical 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ω1ω(Q). This part of the article is mainly the proofs of Scott's isomorphism theorem and Craig interpolation theorem for Lω1ω(Q).
    • FullText(HTML)
    • References (0)
    • Related Articles

  • Related Articles

    [1]Hamba: Image Harmonization based on Selective State Space Model[J]. Chinese Journal of Engineering. DOI: 10.13374/j.issn2095-9389.2024.09.12.006
    [2]CHEN Chen, QIU Hong-mei, PAN Li-qing. Transport and magnetic properties of the spin ladder compound Sr14(Cu1-xZnx)24O41[J]. Chinese Journal of Engineering, 2015, 37(11): 1477-1484. DOI: 10.13374/j.issn2095-9389.2015.11.013
    [3]PENG Yu-zhu, HUANG Zhao-long. Concrete dense packing model and engineering properties of aggregate concretes with different densities[J]. Chinese Journal of Engineering, 2010, 32(3): 366-369,402. DOI: 10.13374/j.issn1001-053x.2010.03.022
    [4]ZHOU Xiao-guang, GAO Xue-dong, WU Sen. Method and application of Vague matter-element decision making based on ideal solution[J]. Chinese Journal of Engineering, 2009, 31(1): 123-127. DOI: 10.13374/j.issn1001-053x.2009.01.014
    [5]CHEN Meng, WANG Xinping, SU Yingxin. Consistency algorithm of Conflict Detection in Concurrent Design[J]. Chinese Journal of Engineering, 2002, 24(4): 479-482. DOI: 10.13374/j.issn1001-053x.2002.04.025
    [6]Ji Zhen, Xiao Zhigang, Liu Xiuqing, Ma Zhaozeng, Yu Zongsen. Pb(Mg1/3Nb2/3)O3-PbTiO3-BaTiO3 Complex Perovskite Ferroelectric Ceramics with High Dielectric Constant and Low Firing Temperature[J]. Chinese Journal of Engineering, 2000, 22(4): 330-330. DOI: 10.13374/j.issn1001-053x.2000.04.043
    [7]Niu Sitong, Zhang Jian, Cheng Guoguang. Physical Property Model of MnO-SiO2 System[J]. Chinese Journal of Engineering, 1998, 20(3): 238-242. DOI: 10.13374/j.issn1001-053x.1998.03.029
    [8]Sun Xiaolan. Consistency Property and Its Application Ⅱ[J]. Chinese Journal of Engineering, 1990, 12(5): 495-498. DOI: 10.13374/j.issn1001-053x.1990.05.016
    [9]Sun Xiaolan. Consistency Property and Its Application I[J]. Chinese Journal of Engineering, 1989, 11(4): 382-387. DOI: 10.13374/j.issn1001-053x.1989.04.015
    [10]Min Lequan, Li Yi. Mathematical Model for Structure of Ideal Quasicrystal Lattices[J]. Chinese Journal of Engineering, 1988, 10(3): 391-399. DOI: 10.13374/j.issn1001-053x.1988.03.020

Catalog

    Get Citation
    PDF
    XML

    Article Metrics

    Article views (379) PDF downloads (25) Cited by()
    Related

    Editorial Office of Chinese Journal of Engineering

    Address：No. 30 College Road, Haidian District, BeijingPost Code：100083 Tel：(010)62333436

    Supported by: Beijing Renhe Information Technology Co., Ltd.    Baidu Analytics

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return