Invariant measures on products and on the space of linear orders
arXiv:2007.00281
Abstract
Let be an -categorical structure and assume that has no algebraicity and has weak elimination of imaginaries. Generalizing classical theorems of de Finetti and Ryll-Nardzewski, we show that any ergodic, -invariant measure on is a product measure. We also investigate the action of on the compact space of linear orders on . If we assume moreover that the action is transitive, we prove that the action either has a fixed point or is uniquely ergodic.