Related papers: Model Theory for $C_p$-theorists
We study modules over the ring $\widetilde{\C}$ of complex generalized numbers from a topological point of view, introducing the notions of $\widetilde{\C}$-linear topology and locally convex $\widetilde{\C}$-linear topology. In this…
In this paper we relate the geometry of Banach spaces to the theory of differential equations, apparently in a new way. We will construct Banach function space norms arising as weak solutions to ordinary differential equations of first…
There are several characterizations of coarse embeddability of a discrete metric space into a Hilbert space. In this note we give such characterizations for general metric spaces. By applying these results to the spaces $L_p(\mu)$, we get…
We study the question for which Tychonoff spaces $X$ and locally convex spaces $E$ the space $C_p(X,E)$ of continuous $E$-valued functions on $X$ contains a complemented copy of the space $(c_0)_p=\{x\in\mathbb{R}^\omega\colon x(n)\to0\}$,…
We study the basic properties of a dual "spectral" topology on positive type spaces of h-inductive theories and its essential connection to infinitary logic. The topology is Hausdorff, has the Baire property, and its compactness…
We initiate the study of general metric lattices in the context of the model theory of metric structures. As an application we develop a theory of pseudo-finite limits of partition lattices and connect this theory with the theory of…
We show that the space of bounded and linear operators between spaces of continuous functions on compact Hausdorff topological spaces has the Bishop-Phelps-Bollob\'as property. A similar result is also proved for the class of compact…
We investigate Banach algebras of convolution operators on the $L^p$ spaces of a locally compact group, and their K-theory. We show that for a discrete group, the corresponding K-theory groups depend continuously on $p$ in an inductive…
Let $K$ be a $p$-adic field. We continue to develop the theory of rigid analytic $p$-divisible groups over $K$. For example, we explain how to find back the category of Banach-Colmez spaces from rigid analytic $p$-divisible groups "in…
In this article, we first try to make the known analogy between convexity and plurisubharmonicity more precise. Then we introduce a notion of strict plurisubharmonicity analogous to strict convexity, and we show how this notion can be used…
We study the complexity of the space $C^*_p(X)$ of bounded continuous functions with the topology of pointwise convergence. We are allowed to use descriptive set theoretical methods, since for a separable metrizable space $X$, the…
In this paper we provide theoretical results that relate steady states of continuous and discrete models arising from biology.
In this article we discuss the solvability of some class of fully nonlinear equations, and equations with p-Laplacian in more general conditions by using a new approach given in [1] for studying the nonlinear continuous operator. Moreover…
We show that Sobczyk's Theorem holds for a new class of Banach spaces, namely spaces of continuous functions on linearly ordered compacta.
We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid.…
We survey some recent advances in the homotopy theory of classifying spaces, and homotopical group theory. We focus on the classification of p-compact groups in terms of root data over the p-adic integers, and discuss some of its…
The famous Rosenthal-Lacey theorem asserts that for each infinite compact space $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c_{0}$ or $\ell_{2}$. The aim of the paper is to study a natural variant of this result…
In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory $T$ has an extremal model, i.e. a model which realizes only…