  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.
