Cardinal functions of purely atomic measures (Q2210798)

Consider purely atomic finite measures \(\mu\) defined on \({\mathbb N}\), decreasing on the atoms, i.e., \(\mu (\{k\}) \geq \mu(\{k + 1\})\) for \(k\in {\mathbb N}\). Moreover, \(f_\mu:[0,\infty)\to \{0, 1, 2,\dots,\omega,\mathfrak{c}\}\) denotes its cardinal function \(f_\mu (t)=|{A\subset {\mathbb N}:\mu(A)=t}|\). The authors identify the sets \(R\subset \{0,1,2,\dots,\omega,\mathfrak{c}\}\) for which there is a measure \(\mu\) such that \(R\) is the range of \(f_\mu\). They also study the set-theoretic and topological properties of the set of \(\mu\)-values which are obtained uniquely.