A class of sets between \(U_ 0\) and \(M_ 0\) (Q1317299)

This paper is a short but very relevant contribution to the study of \(U_ 0\)- and \(M_ 0\)-sets. Main result (here \(C_ 3\) is the Cantor ternary set): Let \(F\) be a compact set in the real line \(\mathbb{R}\). Then \(F \cdot C_ 3\) is an \(M_ 0\)-set if and only if \(F\) is uncountable. The proof is elementary and based upon Fourier analysis. Among applications of this theorem, the author gets a new proof of a previous result by Solovay and himself, namely that the class \(M_ 0\) of closed sets of multiplicity in the one-dimensional torus \(T\) (constructed as a subclass of the metric space \(2^ T\) of all closed subsets) is analytic but not Borel. This last result is discussed in \textit{A. S. Kechris} and \textit{A. Louveau} [Descriptive set theory and the structure of sets of uniqueness (1987; Zbl 0642.42014), p. 117 and ff.]; but this part of Kechris and Louveau's book can be revisited, using author's new results.