• Corpus ID: 215814106

On first order amenability

  title={On first order amenability},
  author={Ehud Hrushovski and Krzysztof Krupinski and Anand Pillay},
  journal={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… 

Ramsey theory and topological dynamics for first order theories

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 finds the first 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

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 =


. 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 definable

Amenability, connected components, and definable actions

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$.



Amenability, definable groups, and automorphism groups

Topological dynamics and the complexity of strong types

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

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

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

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

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

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