We prove the impossibility of finding explicit finitary definitions of the spaces of Tsirelson and Schlumprecht in continuous first-order logic.
生成讲解博客的中文版本
生成AI智能校验的中文版本