Exchangeable measures for subshifts (Q858488)

Let \(\Omega\) be a Borel subset of \(S^\mathbb{N}\) where \(S\) is countable. A measure is called exchangeable on \(\Omega\), if it is supported on \(\Omega\) and is invariant under every Borel automorphism of \(\Omega\) which permutes at most finitely many coordinates. De Finetti's theorem characterizes these measures when \(\Omega= S^\mathbb{N}\). We apply the ergodic theory of equivalence relations to study the case \(\Omega\neq S^\mathbb{N}\), and obtain versions of this theorem when \(\Omega\) is a countable state Markov shift, and when \(\Omega\) is the collection of beta expansions of real numbers in \([0,1]\) (a non-Markovian constraint).