pith. sign in

arxiv: math/9308201 · v1 · submitted 1993-08-06 · 🧮 math.LO

An application of Shoenfield's absoluteness theorem to the theory of uniform distribution

classification 🧮 math.LO
keywords theoremtheoryfamilylanguagemeasureomegasetsshoenfield
0
0 comments X
read the original abstract

If (B_x: x in N) is a Borel family of sets, indexed by the Baire space N = omega^omega, all B_x have measure zero, and the family is increasing, then the union of all B_x also has measure zero. We give two proofs of this theorem: one in the language of set theory, using Shoenfield's theorem on Sigma-1-2 sets, the other in the language of probability theory, using von Neumann's selection theorem, and we apply the theorem to a question on completely uniformly distributed sequences.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.