Invariant measures via inverse limits of finite structures, ArXiv e-print 1310.8147

Abstract. Building on recent results regarding symmetric probabilistic construc-tions of countable structures, we provide a method for constructing probability mea-sures, concentrated on certain classes of countably infinite structures, that are in-variant under all permutations of the underlying set that fix all constants. These measures are constructed from inverse limits of measures on certain finite structures. We use this construction to obtain invariant probability measures concentrated on the classes of countable models of certain first-order theories, including measures that do not assign positive measure to the isomorphism class of any single model. We also characterize those transitive Borel G-spaces admitting a G-invariant probability mea-sure, when G is an arbitrary countable product of symmetric groups on a countable set