pith. sign in

arxiv: 1704.03392 · v3 · pith:HZZT5TMRnew · submitted 2017-04-11 · 🧮 math.LO

The complexity of the embeddability relation between torsion-free abelian groups of uncountable size

classification 🧮 math.LO
keywords kappaembeddabilitysizedspaceabelianboreleverygroups
0
0 comments X
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.