The Non-Definability of the Spaces of Tsirelson and Schlumprecht

Abstract

We prove the impossibility of finding explicit finitary definitions of the spaces of Tsirelson and Schlumprecht in continuous first-order logic.

References in corpus (1)

• Model theory and metric convergence I: Metastability and dominated convergence