Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2603.27730 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908919549394944 |
|---|---|
| author | Sohrabi, Mahmood |
| author_facet | Sohrabi, Mahmood |
| contents | 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 on $A$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_27730 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Arbitrary models of the complete first-order theories of FDZ-rings Sohrabi, Mahmood Logic Rings and Algebras 03, 13, 17 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 on $A$. |
| title | Arbitrary models of the complete first-order theories of FDZ-rings |
| topic | Logic Rings and Algebras 03, 13, 17 |
| url | https://arxiv.org/abs/2603.27730 |