On the representation theorem for exchangeable arrays (Q1122865)

An array of random variables (r.v.) \(\{X_{ij}\), i,j\(\geq 1\}\) is called separately exchangeable if its distribution is the same as that of \(\{X_{p_ iq_ j}\), i,j\(\geq 1\}\) for all permutations \((p_ i)\) and \((q_ j)\); and jointly exchangeable if it is identically distributed with \(\{X_{p_ ip_ j}\), i,j\(\geq 1\}\) for every permutation \((p_ i).\) It is known that separate exchangeability is equivalent to the existence of a representing function f and i.i.d. r.v. \(\{\alpha,\xi_ i,\eta_ j,\zeta_{ij}\}\) such that \(X_{ij}=f(\alpha,\xi_ i,\eta_ j,\zeta_{ij})\); a similar criterion holds for joint exchangeability. Straightforward proofs of a known criterion, and of a new one, for the nonuniqueness of a representing function are given.