The Non-Definability of the Spaces of Tsirelson and Schlumprecht

Peter Casazza, Eduardo Duenez Jose Iovino

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