Arbitrary models of the complete first-order theories of FDZ-rings
In this paper, we study arbitrary models of the first-order theory of a ring $A$ where the additive group $A$ is a finitely generated abelian group. Following an earlier paper by this author, Alexei G. Myasnikov and Francis Oger, we call these rings the FDZ-rings or FDZ-algebras. The rings considered are not necessarily unitary, commutative, or associative. We provide criteria for such rings to be quasi finitely axiomatizable (QFA) or bi-interpretable with the ring of integers $\mathbb Z$. We shall also describe all rings elementarily equivalent to such a ring $A$ given certain constraints…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.27730
curl -X POST /api/v1/records/arxiv/2603.27730/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.27730/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'