Related papers: On the undefinability of pathological Banach space…

We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions between continuous logic and $C_p$-theory which have applications…

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…

We use the Gowers block Ramsey theorem to characterize Banach spaces containing isomorphs of $\ell_p$ (for some $1 \leq p < \infty$) or $c_0$.

$C_p(X)$ denotes the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the topology of pointwise convergence. A Banach space $E$ equipped with the weak topology is denoted by $E_{w}$. It is unknown whether…

This paper has three parts. First, we establish some of the basic model theoretic facts about $M_{\mathcal{T}}$, the Tsirelson space of Figiel and Johnson \cite{FJ}. Second, using the results of the first part, we give some facts about…

We construct for each $0<p\le 1$ an infinite collection of subspaces of $\ell_p$ that extend the example from [J. Lindenstrauss, On a certain subspace of $\ell_{1}$, Bull. Acad. Polon. Sci. S\'er. Sci. Math. Astronom. Phys. 12 (1964),…

We give examples of two Banach spaces. One Banach space has no spreading model which contains $\ell_p$ ($1\le p<\infty$) or $c_0$. The other space has an unconditional basis for which $\ell_p$ ($1\le p<\infty$) and $c_0$ are block finitely…

The main result of this article is a rigidity result pertaining to the spreading model structure for Banach spaces coarsely embeddable into Tsirelson's original space $T^*$. Every Banach space that is coarsely embeddable into $T^*$ must be…

The ``multiple of the inclusion plus compact problem'' which was posed by T.W. Gowers in 1996 and Th. Schlumprecht in 2003, asks whether for every infinite dimensional Banach space $X$ there exists a closed subspace $Y$ of $X$ and a bounded…

Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is…

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

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach (which has been the…

We present a reflexive Banach space with an unconditional basis which is quasi-minimal and tight by range, i.e. of type (4) in Ferenczi-Rosendal list within the framework of Gowers' classification program of Banach spaces, but contrary to…

The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by…

This article was initially motivated by our goal to show that the Banach space $\mathbb{G}$ constructed by Gowers in [W. T. Gowers, A solution to Banach's hyperplane problem, Bull. London Math. Soc. 26 (1994), no. 6, 523-530] to settle…

We introduce and study certain type of variable exponent \ell^p spaces. These spaces will typically not be rearrangement-invariant but instead they enjoy a good local control of some geometric properties. We obtain some interesting examples…

Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus Y$, then one of the closed subspaces $X$ or $Y$ must be finite dimensional. It…

Denote by $[0,\omega_1)$ the locally compact Hausdorff space consisting of all countable ordinals, equipped with the order topology, and let $C_0[0,\omega_1)$ be the Banach space of scalar-valued, continuous functions which are defined on…

For $1\le p <\infty$, we present a reflexive Banach space $\mathfrak{X}^{(p)}_{\text{awi}}$, with an unconditional basis, that admits $\ell_p$ as a unique asymptotic model and does not contain any Asymptotic $\ell_p$ subspaces. D. Freeman,…

Two examples of asymptotic $\ell_{1}$ Banach spaces are given. The first, $X_{u}$, has an unconditional basis and is arbitrarily distortable. The second, $X$, does not contain any unconditional basic sequence. Both are spaces of the type of…