The Non-Definability of the Spaces of Tsirelson and Schlumprecht
We prove the impossibility of finding explicit finitary definitions of the spaces of Tsirelson and Schlumprecht in continuous first-order logic.
math.LO↗
arXiv subjects
Publications and source records attributed to 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.