Abstract:We introduce an abstract framework to study certain classes of stably embedded pairs of models of a complete $\mathcal{L}$-theory $T$, called \textit{beautiful pairs}, which comprises Poizat's belles paires of stable structures and van den Dries-Lewenberg's tame pairs of o-minimal structures. Using an amalgamation construction, we relate several properties of beautiful pairs with classical Fraïssé properties. After characterizing beautiful pairs of various theories of ordered abelian groups and valued fields, including the theories of algebraically, $p$-adically and real closed valued fields, we show an Ax-Kochen-Ershov type result for beautiful pairs of henselian valued fields. As an application, we derive strict pro-definability of particular classes of definable types. When $T$ is one of the theories of valued fields mentioned above, the corresponding classes of types are related to classical geometric spaces and our main result specializes to their strict pro-definability. Most notably, we exhibit the strict pro-definability of a natural space of types associated to Huber's analytifications. In this way, we also recover a result of Hrushovski-Loeser on the strict pro-definability of stably dominated types in algebraically closed valued fields, which corresponds to Berkovich's analytifications.

Stationarity and Elimination of Imaginaries

Imaginaries in equicharacteristic zero henselian fields

On elimination of quantifiers in some non-classical mathematical theories

Beautiful pairs

The isomorphism problem for oligomorphic groups with weak elimination of imaginaries

Elimination with applications to singularities in positive characteristic

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

Analytic Nullstellensätze and the model theory of valued fields

Equational theories of idempotent semifields

Elementary equivalence versus Isomorphism

Perpendicular Indiscernible Sequences in Real Closed Fields

Graph Characterisation Of The Annihilator Ideals Of Leavitt Path Algebras

Vanishing of self-extensions over symmetric algebras

On groups and fields interpretable in torsion-free hyperbolic groups

On algebraically closed fields with a distinguished subfield

The perfectoid Tate algebra has uncountable Krull dimension

On units with Galois complex conjugates of equal absolute value

Diophantine Geometry over Groups IX: Envelopes and Imaginaries