逻辑L′ω_1ω及其上的几个保持性定理被引量：1

Some Preservation Theorems on Infinitary Logic L ′ω_1 ω

下载PDF

导出

摘要在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理 . This paper gives a subsystem L ′ω 1 ω of infinitary logic Lω 1 ω,and sets up some preservation theorems on it.

作者童雪

机构地区华北电力大学基础部

出处《数学研究》 CSCD 2001年第2期187-192,共6页 Journal of Mathematical Study

关键词 пn语句常量引理保持性定理抽象模型论逻辑 ∏n sentence constant lemma preservation Theorem

参考文献3

1Chang,C.C.and Keisler,H.J.,Model Theory.North-Horlland Publishing Company,1973.
2Morley,M.,Categoricity in Power,Transactions of the American Mathematical Society.1965,114:514-538.
3Shelah,S.,On theories T categorical in |T|,The Journal of Symbolic logic.1970,35:73-82.
4Jech,T.,Set Theory,Academic Press inc.(London) LTD.1978.
5Ehrenfeucht,A.and Mostowski,A.,Model of axiomatic theories admitting automorphisms,Fund.Math.,1956,43:50-68.
6Keisler,H.J.,Model Theory for Infinitary Logic.,North-Holland Amsterdam,1971.

数学研究

2001年第2期

内容加载中请稍等...