On uniform canonical bases in LpL_p lattices and other metric structures

We discuss the notion of \emph{uniform canonical bases}, both in an abstract manner and specifically for the theory of atomless $L_p$ lattices. We also discuss the connection between the definability of the set of uniform canonical bases and the existence of the theory of beautiful pairs (i.e., with the finite cover property), and prove in particular that the set of uniform canonical bases is definable in algebraically closed metric valued fields

Model theoretic stability and definability of types, after A. Grothendieck

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Crit{\`e}res de compacit{\'e}" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces

On the undefinability of Tsirelson's space and its descendants

We prove that Tsirelson's space cannot be defined explicitly from the classical Banach sequence spaces. We also prove that any Banach space that is explicitly definable from a class of spaces that contain $\ell_p$ or $c_0$ must contain $\ell_p$ or $c_0$ as well

Continuous first order logic and local stability

We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited

Modular functionals and perturbations of Nakano spaces

We settle several questions regarding the model theory of Nakano spaces left open by the PhD thesis of Pedro Poitevin \cite{Poitevin:PhD}. We start by studying isometric Banach lattice embeddings of Nakano spaces, showing that in dimension two and above such embeddings have a particularly simple and rigid form. We use this to show show that in the Banach lattice language the modular functional is definable and that complete theories of atomless Nakano spaces are model complete. We also show that up to arbitrarily small perturbations of the exponent Nakano spaces are $\aleph_0$-categorical and $\aleph_0$-stable. In particular they are stable

On Roeckle-precompact Polish group which cannot act transitively on a complete metric space

We study when a continuous isometric action of a Polish group on a complete metric space is, or can be, transitive. Our main results consist of showing that certain Polish groups, namely $\mathrm{Aut}^*(\mu)$ and $\mathrm{Homeo}^+[0,1]$, such an action can never be transitive (unless the space acted upon is a singleton). We also point out "circumstantial evidence" that this pathology could be related to that of Polish groups which are not closed permutation groups and yet have discrete uniform distance, and give a general characterisation of continuous isometric action of a Roeckle-precompact Polish group on a complete metric space is transitive. It follows that the morphism from a Roeckle-precompact Polish group to its Bohr compactification is surjective