$C_p$ -模型理论家的理论
$C_p$-Theory for Model Theorists
摘要：
我们目前的应用程序的$C_p$理论，分支一般拓扑空间的实值连续函数，模型论，主要是在连续逻辑。我们包括$C_p$理论的结果和证明，在一个独立的方式为模型理论家谁不熟悉这一领域的技术。我们进一步推广了Casazza和Iovino的一些结果，以及作者的一些结果，涉及巴拿赫空间的可定义性，包括$c_0$或$\ell^p$的同构副本，在Odell和Gowers提出的一个问题之后。
英文摘要：
We present applications of $C_p$-theory, the branch of general topology concerned with spaces of real-valued continuous functions, to model theory, mostly in the context of continuous logics. We include $C_p$-theoretic results and proofs in a self-contained way for model theorists who are not familiar with the techniques of this field. We further generalize some results of Casazza and Iovino, and of the authors, involving the definability of Banach spaces including isomorphic copies of $c_0$ or $\ell^p$, after a problem posed by Odell and Gowers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
