On strongly-non-reflexive groups (Q1101832)

\textit{K. Eda} and \textit{H. Ohta} [Abelian group theory, Proc. Oberwolfach 1985, 241-257 (1987)] gave an elegant proof of a long standing problem on reflexivity of abelian groups. Combining results on topological spaces and methods from abelian groups, they proved the existence of abelian groups A of cardinality \(2^{\aleph_ 0}\) such that \(A^{*n}\) is not reflexive for all \(n\in \omega\). Here \(A^{*n}\) is defined inductively \(A^{*n+1}=Hom(A^{*n},{\mathbb{Z}})\) and \(A^{*0}=A\). Moreover A is reflexive if \(A\cong^{\sigma}A^{**}\) under the evaluation map \(\sigma\). The present paper ``assumes additional set theory \(\diamond_{\omega_ 1}''\) which follows from V\(=L\). The proofs are much more technical, however the final result is much stronger. The authors exhibit a group A of cardinality \(\aleph_ 1=2^{\aleph_ 0}\) such that \(A^{*n}\not\cong A^{*n+2}\), i.e. \(A^{*n}\) is strongly-non- reflexive. Moreover \(A^{*n}\) can be chosen weakly \(\omega_ 1\)- separable.