首页   按字顺浏览 期刊浏览 卷期浏览 Two Models that show the Interpolation Theorem Fails in allL1(Qα) andL1, 1(Qα, α = 0, 1...
Two Models that show the Interpolation Theorem Fails in allL1(Qα) andL1, 1(Qα, α = 0, 1, 2,…

 

作者: Norollah Talebi,  

 

期刊: Bulletin of the London Mathematical Society  （WILEY Available online 2016）
卷期: Volume 24, issue 4  

页码: 305-308

 

ISSN:0024-6093

 

年代: 2016

 

DOI:10.1112/blms/24.4.305

 

出版商: Oxford University Press

 

数据来源: WILEY

 

摘要:

The logicsL1(Q),L1,1(Q) andL2(Q) are formed by adding quantifiersQ,Q1,1andQ2respectively to the first‐order logic. In this paper, for each ordinal α (including α = 0), we construct twoQαmodels to prove that the Interpolation Theorem fails inL(Q) andL1,1(Q).

 

点击下载:  PDF (220KB)



返 回