ABSTRACT
We present applications of https://www.w3.org/1998/Math/MathML"> C p https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429263637/26bd4099-d326-4c28-a33f-7985ba070843/content/matha0_28.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> -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 https://www.w3.org/1998/Math/MathML"> C p https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429263637/26bd4099-d326-4c28-a33f-7985ba070843/content/matha0_29.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> -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, Dueñez and Iovino, and of the authors, involving the definability of Banach spaces including isomorphic copies of https://www.w3.org/1998/Math/MathML"> c 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429263637/26bd4099-d326-4c28-a33f-7985ba070843/content/matha0_30.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> or https://www.w3.org/1998/Math/MathML"> l p https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429263637/26bd4099-d326-4c28-a33f-7985ba070843/content/matha0_31.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> , after a problem posed by Odell and Gowers.
