Invariant measures concentrated on countable structures

DOI10.1017/FMS.2016.15zbMATH Open1528.03153arXiv1206.4011MaRDI QIDQ6233769FDOQ6233769

Rehana Patel, Cameron E. Freer, Nathanael Ackerman

Publication date: 18 June 2012

Abstract: Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable closure, i.e., the pointwise stabilizer in Aut(M) of an arbitrary finite tuple of M fixes no additional points. When M is a Fraisse limit in a relational language, this amounts to requiring that the age of M have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Infinite graphs (05C63) Invariant measures for infinite-dimensional dissipative dynamical systems (37L40) Measure-theoretic ergodic theory (28D99) Exchangeability for stochastic processes (60G09) Model theory of denumerable and separable structures (03C15) Applications of model theory (03C98) Ergodic theory (37A99)

This page was built for publication: Invariant measures concentrated on countable structures

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