{"id":"arxiv/2603.27730","url":"https://arxiv.org/abs/2603.27730","tags":["math.LO","math.RA"],"score":0,"title":"Arbitrary models of the complete first-order theories of FDZ-rings","domain":"math.LO","source":"arxiv","authors":["Mahmood Sohrabi"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-29","reactions":{}}