2 citations · 8 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019★ 1 cited
Truncations of Ordered Abelian Groups
Paola D'Aquino, Jamshid Derakhshan, Angus Macintyre
The abstract will be added in due course.
math.LO2019★ 2 cited
Decidability Problems for Adele Rings and related restricted products
Jamshid Derakhshan, Angus Macintyre
We study elementary equivalence of adele rings and decidability for adele rings of general number fields. We prove that elementary equivalence of adele rings implies isomorphism of…