Decidability Problems for Adele Rings and related restricted products

Abstract

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 the adele rings.

Cited by in corpus (2)

• Model Theory of Adeles and Number Theory
• Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings