Two models that show the interpolation theorem fails in all L¹(Q_α) and L^1,1 (Q_α) α= 0,1,2,…

Authors

Norollah Talebi, Daemen College

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

Recommended Citation

Talebi, Norollah, "Two models that show the interpolation theorem fails in all L¹(Q_α) and L^1,1 (Q_α) α= 0,1,2,…" (1992). Articles & Book Chapters. 448.
https://digitalcommons.daemen.edu/faculty_scholar/448

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