The complexity of the embeddability relation between torsion-free abelian groups of uncountable size
classification
🧮 math.LO
keywords
kappaembeddabilitysizedspaceabelianboreleverygroups
read the original abstract
We prove that for every uncountable cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, the quasi-order of embeddability on the $\kappa$-space of $\kappa$-sized graphs Borel reduces to the embeddability on the $\kappa$-space of $\kappa$-sized torsion-free abelian groups. Then we use the same techniques to prove that the former Borel reduces to the embeddability on the $\kappa$-space of $\kappa$-sized $R$-modules, for every $\mathbb{S}$-cotorsion-free ring $R$ of cardinality less than the continuum. As a consequence we get that all the previous are complete $\boldsymbol{\Sigma}^1_1$ quasi-orders.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.