Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
121 tokens/sec
GPT-4o
9 tokens/sec
Gemini 2.5 Pro Pro
47 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

On first order amenability (2004.08306v2)

Published 17 Apr 2020 in math.LO

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 $\aleph_{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.

Summary

We haven't generated a summary for this paper yet.