Title

Two models that show the interpolation theorem fails in all L1(Qα) and L1,1 (Qα) α= 0,1,2,…

Department

Mathematics

Document Type

Article

Publication Source

Bulletin of the London Mathematical Society

Publication Date

1992-01-01

Volume

24

Issue

4

First Page

305

Last Page

308

Abstract

The logics L1(Q), L1,1(Q) and L2(Q) are formed by adding quantifiers Q, Q1,1 and Q2 respectively to the first-order logic. In this paper, for each ordinal α (including α = 0), we construct two Qa models to prove that the Interpolation Theorem fails in L(Q) and L1,1(Q). © 1992, Oxford University Press. All rights reserved.

DOI

10.1112/blms/24.4.305

https://doi.org/10.1112/blms/24.4.305

Share

COinS