超限均值

我们定义了算术平均向实数有界超限序列的推广。我们证明每个概率空间都容许一个点的超限序列，使得每个可测子集的测度等于该序列在此子集中的频率。我们给出了 Woodin 建议的一个论证，即 $\omega_1$ 上的 club filter 不容许此类序型为 $\omega_1$ 的序列。