Borel completeness of $R$-modules when $R$ fails the DCC on pp-definable subgroups

Michael C. Laskowski, Danielle S. Ulrich

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, the…