On first order amenability

MaRDI QIDQ6338906zbMATH OpenFDO

Authors Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay

Publication date 17 April 2020

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Means on groups, semigroups, etc.; amenable groups (43A07)

Abstract: We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the same variables. Amenability of $T$ follows from amenability of the (topological) group $Aut(M)$ for all sufficiently large $alep{h}_0$-homogeneous countable models $M$ of $T$ (assuming $T$ to be countable), but is radically less restrictive. First, we study basic properties of amenable theories, giving many equivalent conditions. Then, applying a version of the stabilizer theorem from [Amenability, connected components, and definable actions; E. Hrushovski, K. Krupi'{n}ski, A. Pillay], we prove that if $T$ is amenable, then $T$ is G-compact, namely Lascar strong types and Kim-Pillay strong types over $emptyset$ coincide. This extends and essentially generalizes a similar result proved via different methods for $omega$-categorical theories in [Amenability, definable groups, and automorphism groups; K. Krupi'{n}ski, A. Pillay] . In the special case when amenability is witnessed by $emptyset$-definable global Keisler measures (which is for example the case for amenable $omega$-categorical theories), we also give a different proof, based on stability in continuous logic. Parallel (but easier) results hold for the notion of extreme amenability.

This page was built for publication: On first order amenability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6338906)