Borel complexity of modules

Michael C. Laskowski, Danielle S. Ulrich

We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machiner…