A remark on hereditarily nonparadoxical sets (Q5964934)

Two sets \(G\) and \(H\) of reals are \textit{equidecomposable} if there exist partitions \(A = \bigcup \{A_i : i < \omega \}\) and \(B = \bigcup \{B_i : i < \omega \}\) such that, for every \(i<\omega\), \(B_i\) is a translated copy of \(A_i\). A set \(X\) of reals is \textit{paradoxical} if it has two disjoint subsets with which it is equidecomposable. \(X\) is \textit{hereditarily nonparadoxical} (abbreviated HN) if no uncountable subset of \(X\) is paradoxical. Now say that \({\mathcal P} (X)\) holds if there exists a partition \(X = \bigcup \{X_i : i < \omega \}\) with the property that if \(x - y = z - t\) for \(x, y, z, t \in X_i\), then \(x = z\) and \(y = t\). \textit{A. Nowik} [Topology Appl. 161, 377--385 (2014; Zbl 1323.03066)] established that \({\mathcal P} (X)\) holds for any HN set \(X\) of size less than or equal to \(\aleph_\omega\). The author shows that (A) it is consistent relative to the existence of a supercompact cardinal that \({\mathcal P} (X)\) fails for some HN set \(X\) of size \(\aleph_{\omega + 1}\), and (B) it is consistent that the continuum is arbitrarily large and \({\mathcal P} (X)\) holds for every HN set \(X\).