I have a zero mean multivariate normal probability distribution where WLOG each marginal variance is unity and all pairwise correlation coefficient are equal and positive. The number of elements in the random vector is arbitrary. I am interested in the probability distribution of the number of elements which exceed some threshold -- the same threshold for each element. The outcomes for each elements are collectively identically distributed dependent Bernoulli random variables, so by de Finetti's exchangeability theorem this probability distribution has a representation as a mixture of binomial distributions. I'd like to figure out the mixing measure but I haven't the foggiest idea how to start. 


(edited to specify zero mean and equality of correlations)



Exchangeable normal distribution mixing measure
The mixing distribution is the same as the long term average . Since your gaussians can be repesented as $Z + X\_i$ where $X\_i$ are i.i.d., and also independent of $Z$, the long term average for the events I think you are looking at is $\frac 1 n \sum^n 1\_{X\_i + Z > c}$. By conditioning on $Z$ this is seen to have distribution $\Phi(c - Z)$ and that should be your mixer.


