Borel completeness of $R$-modules when $R$ fails the DCC on pp-definable subgroups
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.24737
curl -X POST /api/v1/records/arxiv/2608.24737/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.24737/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'