• Corpus ID: 215814106

# On first order amenability

@article{Hrushovski2020OnFO,
title={On first order amenability},
author={Ehud Hrushovski and Krzysztof Krupinski and Anand Pillay},
journal={arXiv: Logic},
year={2020}
}
• Published 17 April 2020
• Mathematics
• arXiv: Logic
We introduce the notion of first order [extreme] 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 [type] in the same variables. [Extreme] amenability of $T$ will follow from [extreme] 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…
7 Citations

### Ramsey theory and topological dynamics for first order theories

• Mathematics
Transactions of the American Mathematical Society
• 2022
We investigate interactions between Ramsey theory, topological dynamics, and model theory. We introduce various Ramsey-like properties for first order theories and characterize them in terms of the

### Invariant Keisler measures for omega-categorical structures

A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey ﬁnds the ﬁrst examples of simple structures with formulas which do not fork over ∅ but are universally

### Automorphism invariant measures and weakly generic automorphisms

Let A$\mathcal {A}$ be a countable ℵ0‐homogeneous structure. The primary motivation of this work is to study different amenability properties of (subgroups of) the automorphism group

### On Stable Quotients

• Mathematics
Notre Dame Journal of Formal Logic
• 2022
We solve two problems from [HP18] concerning maximal stable quotients of groups ∧ -definable in NIP theories. The first result says that if G is a ∧ -definable group in a distal theory, then Gst =

### INVARIANT MEASURES IN SIMPLE AND IN SMALL THEORIES

• Mathematics
Journal of Mathematical Logic
• 2022
. We give examples of (i) a simple theory with a formula (with parameters) which does not fork over ∅ but has µ -measure 0 for every automorphism invariant Keisler measure µ , and (ii) a deﬁnable

### Amenability, connected components, and definable actions

• Mathematics
Selecta Mathematica
• 2021
We study amenability of definable groups and topological groups, and prove various results, briefly described below. Among our main technical tools, of interest in its own right, is an elaboration on

### Hereditary G-compactness

It is shown that if $G$ is definable over $A$ in a hereditarily G-compact theory, then $G^{00}_A=G^{000} _A$.

## References

SHOWING 1-10 OF 30 REFERENCES

### Topological dynamics and the complexity of strong types

• Mathematics
Israel Journal of Mathematics
• 2018
We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as

### On NIP and invariant measures

• Mathematics
• 2007
We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [13]. Among key results are

### Strongly Determined Types

• Mathematics
Ann. Pure Appl. Log.
• 1999

### Stable group theory and approximate subgroups

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite

### Tits Buildings and the Model Theory of Groups: Introduction to the Lascar Group

The aim of this article is to give a short introduction to the Lascar Galois group GalL(T ) of a complete first order theory T . We prove that GalL(T ) is a quasicompact topological group in section

### Hyperimaginaries and automorphism groups

• Mathematics
Journal of Symbolic Logic
• 2001
This paper shows that if T is simple and canonical bases of Lascar strong types exist in Meq then hyperimaginaries can be eliminated in favour of sequences of ordinary imaginaries, and develops a Galois theory of T, making use of the structure of compact groups.

### The diameter of a Lascar strong type

We prove that a type-denable Lascar strong type has nite diameter. We also answer some other questions from (1) on Lascar strong types. We give some applications on subgroups of type-denable groups.

### Boundedness and absoluteness of some dynamical invariants in model theory

• Mathematics
J. Math. Log.
• 2019
It is shown that in each of these two cases, boundedness of a minimal left ideal is an absolute property and that whenever such an ideal is bounded, then its isomorphism type is also absolute.

### Groups, measures, and the NIP

• Mathematics
• 2006
We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author’s