Related papers: Model Theory for $C_p$-theorists

Let $1\leq p\leq q\leq\infty.$ Being motivated by the classical notions of limited, $p$-limited and coarse $p$-limited subsets of a Banach space, we introduce and study $(p,q)$-limited subsets and their equicontinuous versions and coarse…

In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…

Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…

We study the interplay between Banach space theory and theory of analytic P-ideals. Applying the observation that, up to isomorphism, all Banach spaces with unconditional bases can be constructed in a way very similar to the construction of…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

This paper addresses the Asplund property for the space of continuous functions $C_k(X)$ equipped with the compact-open topology, when $X$ is an arbitrary Tychonoff space. Motivated by inconsistent definitions in prior literature extending…

We study the theory of Banach $L^p$ lattices with a distinguished automorphism, in the framework of continuous logic. Using a functional version of the Rokhlin lemma, we prove that it admits a model companion, which is stable and has…

The Grothendieck property has become important in research on the definability of pathological Banach spaces [CI], [HT], and especially [HT20]. We here answer a question of Arhangel'ski\u{\i} by proving it undecidable whether countably…

We extend to singular cardinals the model-theoretical relation $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in P. Lipparini, The compactness spectrum of abstract logics, large cardinals and combinatorial principles, Boll. Unione…

We introduce a natural definition of $L^p$-convergence of maps, $p \ge 1$, in the case where the domain is a convergent sequence of measured metric space with respect to the measured Gromov-Hausdorff topology and the target is a…

We establish complete characterizations of various notions of expansivity for weighted composition operators on a very general class of locally convex spaces of continuous functions. This class includes several classical classes of…

The theory of p-local compact groups, developed in an earlier paper by the same authors, is designed to give a unified framework in which to study the p-local homotopy theory of classifying spaces of compact Lie groups and p-compact groups,…

We conclude the classification of spaces of continuous functions on ordinals carried out by R. Gorak. This gives a complete topological classification of the spaces $C_p([0,\alpha])$ of all continuous real-valued functions on compact…

We develop the theory of locally analytic representations of compact $p$-adic Lie groups from the perspective of the theory of condensed mathematics of Clausen and Scholze. As an application, we generalise Lazard's isomorphisms between…

In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of {\L}ukasiewicz logic) and continuous logic, and prove effective versions of some theorems in model theory. We show how to reduce…

Starting from the hypothesis that both physics, in particular space-time and the physical vacuum, and the corresponding mathematics are discrete on the Planck scale we develop a certain framework in form of a class of ' cellular networks'…

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),…

In this paper structure of infinite dimensional Banach spaces is studied by using an asymptotic approach based on stabilization at infinity of finite dimensional subspaces which appear everywhere far away. This leads to notions of…

The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…

We propose a homology theory for locally compact spaces with ends in which the ends play a special role. The approach is motivated by results for graphs with ends, where it has been highly successful. But it was unclear how the original…