ℵ0‐categorical Banach spaces contain ℓp or c0. Issue 4 (15th November 2021)

• Record Type: Journal Article
• Authors: Khanaki, Karim
• Is Part Of: Mathematical logic quarterly. Volume 67:Issue 4(2021)
• Page Start: 469
• Page End: 488
• Publication Date: 2021-11-15
• Subjects: Mathematics -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; 511.3
• DOI: 10.1002/malq.201800086
• Languages: English
• ISSNs: 0942-5616

Abstract

Abstract: This paper has three parts. First, we establish some of the basic model theoretic facts about M T, the Tsirelson space of Figiel and Johnson [20]. Second, using the results of the first part, we give some facts about general Banach spaces. Third, we study model‐theoretic dividing lines in some Banach spaces and their theories. In particular, we show: (1) M T has the non independence property (NIP); (2) every Banach space that is ℵ0 ‐categorical up to small perturbations embeds c 0 or ℓ p ( 1 ⩽ p < ∞ ) almost isometrically; consequently the (continuous) first‐order theory of M T does not characterize M T, up to almost isometric isomorphism.