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
Citation: 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

Consistency Property and Its Application Ⅱ

  • 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 Logic》 to give a system of axioms for infinitary logic. This article combines the two ideas of the two systems of axioms, applying the consistency property introduced by the book 《Model Theory for Infinitary Logic》 to give a system of axioms and model theory for infinitary second order logic Lw1w(Q). This part of the article is mainly the proofs of omitting type theorem for Lw1w(Q) and prime model theorem for Lw1w(Q).
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return