6 citations · 16 across the 11 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Arbitrary models of the complete first-order theories of FDZ-rings
Mahmood Sohrabi
In this paper, we study arbitrary models of the first-order theory of a ring where the additive group is a finitely generated abelian group. Following an earlier paper by t…
math.LO2021
Rich groups, weak second order logic, and applications
Olga Kharlampovich, Alexei Myasnikov, Mahmood Sohrabi
In this paper we initiate a study of first-order rich groups, i.e., groups where the first-order logic has the same power as the weak second order logic. Surprisingly, there are qu…