{"id":"arxiv/2608.24737","url":"https://arxiv.org/abs/2608.24737","tags":["math.LO","math.RA"],"score":0,"title":"Borel completeness of $R$-modules when $R$ fails the DCC on pp-definable subgroups","domain":"math.LO","source":"arxiv","authors":["Michael C. Laskowski","Danielle S. Ulrich"],"reviews":0,"subject":"math.LO","summary":"We prove that for any countable ring $R$ (not necessarily commutative), if the associated left $R$-module ${}_R R$ has a strictly descending sequence of pp-definable subgroups, then the theory $Th(R^{(ω)})$ of the infinite dimensional direct sum is Borel complete. From this, we conclude that if $R$ is countable and not left perfect, then the theory of $R$-modules is Borel complete, and we give a full characterization of which countable simple rings have Borel complete theories. One special case is that the complete theory $Th({\\mathbb Z}^{(ω)})$ is Borel complete, which strengthens the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-25","reactions":{}}