On the category of \(U\)-sets for series in the Walsh system (Q1326902): Difference between revisions

Adapting the proof of \textit{R. S. Kechris} and \textit{A. Louveau} [``Descriptive set theory and the structure of sets of uniqueness'' (1987; Zbl 0677.42009)] to the dyadic case, the authoress proves that if \(E\) is an analytic, co-analytic, Borel set of uniqueness for Walsh series, then \(E\) is a set of the first category. She also shows that every set of positive measure contains an \(M\)-set for Walsh series which is of measure zero.