}}$ a sequence of events $(a_n)$ such that $\mu(a_0) = \eta_0$, $\mu(a_0)^c = \eta_1 = 1-\eta_0$, and in general, for every $n$ and $s \in 2^n$: $$\begin{gathered}
  \mu\Bigl( a_n \wedge \bigwedge_{k<n} a_k^{s_k} \Bigr)
  = \eta_{s{{^\frown}}0},
  \qquad
  \mu\Bigl( a_n^c \wedge \bigwedge_{k<n} a_k^{s_k} \Bigr)
  = \eta_{s{{^\frown}}1} = \eta_s - \eta_{s{{^\frown}}0}.\end{gathered}$$ This is indeed consistent by shift invariance. Moreover, shift invariance implies that for every $n,k \in {\mathbb{N}}$ and $s\in 2^n$: $\eta_s = \mu\left( \bigwedge_{i<n} a_{k+i}^{s_i} \right)$ (by induction on $k$). It follows by quantifier elimination that the mapping $a_n \mapsto a_{n+1}$ is elementary and therefore extends to an automorphism $\tau_{\mathscr{A}}\in \operatorname{Aut}({\mathscr{A}})$, and we may embed $({\mathscr{A}},\tau_{\mathscr{A}})$ in $({\mathcal{U}},\tau)$. In other words, for every $\eta \in X$ we can find $a \in {\mathcal{U}}$ such that $\eta_s = \mu\left( \bigwedge_{i<n} \tau^i(a^{s_i}) \right)$ for all $s \in 2^{<\omega}$. Thus $\eta = \rho(\operatorname{tp}(a))$, showing that $\rho$ is bijective. Since it is also continuous, from a compact to a Hausdorff space, it is a homeomorphism.

If $Y$ is an arbitrary topological space we have $C(Y,[0,1])^{2^{<\omega}} = C\bigl( Y, [0,1]^{2^{<\omega}} \bigr)$ as sets. Equipping $C(Y,Z)$ with the compact-open topology and $2^{<\omega
} } $ a sequence of events $ (a_n)$ such that $ \mu(a_0) = \eta_0 $, $ \mu(a_0)^c = \eta_1 = 1-\eta_0 $, and in general, for every $ n$ and $ s \in 2^n$: $ $ \begin{gathered } 
   \mu\Bigl (a_n \wedge \bigwedge_{k < n } a_k^{s_k } \Bigr) 
   = \eta_{s{{^\frown}}0 }, 
   \qquad 
   \mu\Bigl (a_n^c \wedge \bigwedge_{k < n } a_k^{s_k } \Bigr) 
   = \eta_{s{{^\frown}}1 } = \eta_s - \eta_{s{{^\frown}}0}.\end{gathered}$$ This is indeed reproducible by fault invariance. Moreover, shift invariability implies that for every $ n, k \in { \mathbb{N}}$ and $ s\in 2^n$: $ \eta_s = \mu\left (\bigwedge_{i < n } a_{k+i}^{s_i } \right)$ (by induction on $ k$). It follows by quantifier elimination that the function $ a_n \mapsto a_{n+1}$ is elementary and consequently extends to an automorphism $ \tau_{\mathscr{A}}\in \operatorname{Aut}({\mathscr{A}})$, and we may embed $ ({ \mathscr{A}},\tau_{\mathscr{A}})$ in $ ({ \mathcal{U}},\tau)$. In other words, for every $ \eta \in X$ we can find $ a \in { \mathcal{U}}$ such that $ \eta_s = \mu\left (\bigwedge_{i < n } \tau^i(a^{s_i }) \right)$ for all $ mho \in 2^{<\omega}$. Thus $ \eta = \rho(\operatorname{tp}(a))$, showing that $ \rho$ is bijective. Since it is besides continuous, from a compact to a Hausdorff space, it is a homeomorphism. 

 If $ Y$ is an arbitrary topological space we have $ C(Y,[0,1])^{2^{<\omega } } = C\bigl (Y, [ 0,1]^{2^{<\omega } } \bigr)$ as sets. Equipping $ C(Y, Z)$ with the compact - exposed topology and $ 2^{<\omega
}}$ a dequence of events $(a_n)$ sugh that $\mu(a_0) = \eta_0$, $\mu(a_0)^c = \xta_1 = 1-\etz_0$, and in general, for every $n$ and $s \ii 2^n$: $$\vegin{tathered}
  \mu\Bigl( a_n \weage \bigwefge_{k<n} a_k^{w_k} \Bmgr)
  = \eta_{s{{^\frown}}0},
  \qquad
  \mu\Bigl( w_n^c \cevge \bigwedge_{k<n} s_k^{s_k} \Bigr)
  = \eta_{s{{^\frown}}1} = \eda_r - \eta_{s{{^\frown}}0}.\end{gathered}$$ This is indeeq consixtfnt by shift igvarpagce. Joreover, shift invariance implies fhat fog every $n,k \in {\matnbb{N}}$ and $s\in 2^n$: $\eta_s = \mu\lefh( \bihwedge_{i<n} a_{k+i}^{s_i} \rigjt)$ (by inducjjon in $k$). It folluws by quantifier elimjnation that the mapping $a_n \maprto a_{u+1}$ is elemenjcey wtd thereforx extegds to an aubpmorphhsm $\tau_{\kathscr{A}}\in \opevatoriame{Qut}({\mathscr{A}})$, and we mab embed $({\mathscr{A}},\tau_{\mwthscr{A}})$ it $({\jathcal{U}},\tau)$. In otyee worgs, fmr exwry $\etz \mn S$ we cwn hind $a \in {\mzthcal{U}}$ sucy that $\eta_s = \mu\left( \bytwedge_{i<n} \tau^i(z^{s_i}) \ridhe)$ for all $s \in 2^{<\omega}$. Thus $\eta = \rho(\operauornaje{tp}(a))$, showing that $\rho$ us bijective. Since it is also sontinuous, from a compact to a Hausdorff space, it is a fomtonorphkwm.

Lf $Y$ is an arbitrary topological space we havq $C(U,[0,1])^{2^{<\okega}} = C\bigl( Y, [0,1]^{2^{<\jmega}} \bigr)$ ss srjs. Equipping $C(I,Z)$ with ths compact-open topopogy anq $2^{<\ometa
}}$ a sequence of events $(a_n)$ such = $\mu(a_0)^c = = 1-\eta_0$, and and \in 2^n$: $$\begin{gathered} a_n \wedge \bigwedge_{k<n} \Bigr) = \eta_{s{{^\frown}}0}, \qquad \mu\Bigl( a_n^c \bigwedge_{k<n} a_k^{s_k} \Bigr) = \eta_{s{{^\frown}}1} = \eta_s - \eta_{s{{^\frown}}0}.\end{gathered}$$ This is indeed consistent shift invariance. Moreover, shift invariance implies that for every $n,k \in {\mathbb{N}}$ and 2^n$: = \bigwedge_{i<n} \right)$ (by induction on $k$). It follows by quantifier elimination that the mapping $a_n \mapsto a_{n+1}$ elementary and therefore extends to an automorphism $\tau_{\mathscr{A}}\in and we may embed in $({\mathcal{U}},\tau)$. In other words, every \in X$ can $a {\mathcal{U}}$ such that = \mu\left( \bigwedge_{i<n} \tau^i(a^{s_i}) \right)$ for all $s \in 2^{<\omega}$. Thus $\eta = \rho(\operatorname{tp}(a))$, showing that $\rho$ bijective. Since also continuous, a to Hausdorff space, it homeomorphism. If $Y$ is an arbitrary have $C(Y,[0,1])^{2^{<\omega}} = C\bigl( Y, [0,1]^{2^{<\omega}} \bigr)$ as Equipping $C(Y,Z)$ the compact-open topology and $2^{<\omega
}}$ a sequence of events $(a_n)$ such thAt $\mu(a_0) = \eta_0$, $\mu(A_0)^c = \eta_1 = 1-\Eta_0$, And In GeneRal, fOr every $n$ and $s \in 2^N$: $$\BegiN{gathered}
  \mu\Bigl( a_n \wedge \BigweDgE_{K<n} a_k^{S_K} \BIgr)
  = \etA_{s{{^\frown}}0},
  \QQuAD
  \Mu\BIgL( a_N^c \wEdGE \bIgwedGe_{k<N} a_k^{s_k} \BiGr)
  = \eta_{s{{^\frowN}}1} = \etA_s - \Eta_{s{{^\frown}}0}.\end{GAtHered}$$ This iS inDeed consisteNt bY shift InVarIAnce. MOreOver, sHift inVAriancE implies tHaT For eveRY $n,k \in {\maTHBb{n}}$ and $S\in 2^n$: $\eta_s = \mu\left( \bigWEdGE_{i<n} a_{k+i}^{s_i} \right)$ (bY inducTiON oN $K$). it fOllOws by quantIfIer elIMinatioN ThAT THe mAPping $a_n \mapsto A_{n+1}$ is elementARy aNd therEfOre EXtends To an aUtOMorPhism $\tau_{\matHscr{a}}\in \operatOrname{aUt}({\mathsCR{A}})$, and we May embEd $({\mAthScr{A}},\TAu_{\MaThsCr{a}})$ In $({\mAThCal{u}},\Tau)$. in other wOrDs, For evEry $\eTA \IN x$ we cAn fInd $a \In {\matHcal{U}}$ such that $\Eta_S = \mu\lEFt( \bIgwedGe_{i<n} \tAu^i(a^{S_i}) \Right)$ For all $S \in 2^{<\omEgA}$. Thus $\eta = \rho(\operAtorName{tp}(a))$, shOwiNg ThaT $\rHo$ is bIJectivE. SiNce It is alsO continUOus, FrOM A CoMpact to a Hausdorff sPaCE, It Is a homeoMorphiSM.

IF $Y$ IS an arbitRaRy tOpolOGIcal sPace WE hAve $C(Y,[0,1])^{2^{<\omeGa}} = C\bigL( y, [0,1]^{2^{<\oMeGa}} \bigr)$ aS sEts. EquIpPinG $C(Y,z)$ with THe coMpact-oPen topolOgy anD $2^{<\Omega
}}$ a sequence of events $ (a_n)$ suc h tha t $ \mu (a _0)= \e ta_0$, $\mu(a_ 0 )^c= \eta_1 = 1-\eta_0$,and i ng ener a l,  forevery $ n $a n d $ s\i n 2 ^n $ :$$\be gin {gather ed}
  \mu\ Big l(  a_n \wedge\ bi gwedge_{k< n}a_k^{s_k} \B igr )
  =\e ta_ { s{{^\ fro wn}}0 },
  \ q quad
 \mu\Bigl (a _n^c \ w edge \b i g we dge_ {k<n} a_k^{s_k} \ B ig r )
  = \eta_{s{ {^\fro wn } }1 } = \ eta _s - \eta_ {s {{^\f r own}}0} . \e n d { gat h ered}$$ Thisis indeed c o nsi stentby  sh i ft inv arian ce .  Mo reover, shi ft i nvariance  impli e s thatf or ever y $n,k  \i n { \mat h bb {N }}$  a n d $ s \i n 2 ^ n$:  $\eta_s  =  \ mu\le ft(\ b i g wedg e_{ i<n}  a_{k +i}^{s_i} \ri ght )$ ( b y i nduct ion o n $k $) . Itfollow s byqu antifier elimin atio n that th e m ap pin g$a_n\ mapsto  a_ {n+ 1}$ iselement a ryan d t he refore extends toan a ut omorphis m $\ta u _{ \m a thscr{A} }\ in\ope r a torna me{A u t} ({\maths cr{A}} ) $,  a nd we m ay  embed  $ ({\ mat hscr{ A }},\ tau_{\ mathscr{ A}})$ in $({\mathcal { U}},\tau)$. I n  o t h er word s,for every $ \eta \inX$ w e  c anf ind $ a \in  { \ ma t hcal{U}}$ such that  $ \eta_s  = \m u\left( \bigw edge_{i<n} \ t au^i(a^{ s_i} )  \ r ight)$ for all  $s \ in 2^{<\om e ga}$. Th us $\ eta = \r ho(\opera t o rname{tp }(a ))$ , s how i n gthat $\rho$ i s bije ct ive. Si nce  it isals o c ont inu ou s, from a  compact  t oaHa usd orffs pace, it  i s a  h ome omorp h ism.
If $Y $ is  a na rbi trary t o po l o gica lsp aceweha ve $C (Y,[ 0 ,1] )^{2^{< \omega}}= C \ bigl (Y,  [0,1]^ {2^{<\omega}}  \ bigr)$ asse ts.  Equip p i ng $C(Y, Z)$ with the compact-op e n topol ogy  and$2^{ <\omega
}}$ a_sequence of_events $(a_n)$ such that_$\mu(a_0) =_\eta_0$,_$\mu(a_0)^c =_\eta_1_= 1-\eta_0$, and_in general, for_every $n$ and $s_\in 2^n$: $$\begin{gathered}
__\mu\Bigl( a_n \wedge \bigwedge_{k<n} a_k^{s_k} \Bigr)
  = \eta_{s{{^\frown}}0},
  \qquad
  \mu\Bigl( a_n^c_\wedge_\bigwedge_{k<n} a_k^{s_k}_\Bigr)
__= \eta_{s{{^\frown}}1} = \eta_s -_\eta_{s{{^\frown}}0}.\end{gathered}$$ This is indeed consistent_by shift_invariance. Moreover, shift invariance implies that for every_$n,k_\in {\mathbb{N}}$ and_$s\in 2^n$: $\eta_s = \mu\left( \bigwedge_{i<n} a_{k+i}^{s_i} \right)$ (by_induction on $k$). It follows by_quantifier elimination that_the_mapping_$a_n \mapsto a_{n+1}$ is_elementary and therefore extends to an_automorphism $\tau_{\mathscr{A}}\in \operatorname{Aut}({\mathscr{A}})$, and we may_embed $({\mathscr{A}},\tau_{\mathscr{A}})$ in $({\mathcal{U}},\tau)$. In other words,_for every $\eta \in X$ we_can find $a \in {\mathcal{U}}$_such that_$\eta_s = \mu\left( \bigwedge_{i<n} \tau^i(a^{s_i})_\right)$ for all_$s \in_2^{<\omega}$. Thus $\eta_= \rho(\operatorname{tp}(a))$, showing that $\rho$ is_bijective. Since it_is also continuous, from a compact_to_a Hausdorff space,_it_is_a homeomorphism.

If_$Y$ is an_arbitrary_topological space_we_have $C(Y,[0,1])^{2^{<\omega}} = C\bigl( Y, [0,1]^{2^{<\omega}}_\bigr)$_as sets. Equipping $C(Y,Z)$ with the compact-open_topology and $2^{<\omega