2019/10/31 by Jamshid Derakhshan, Angus Macintyre, Derakhshan, Jamshid +1
Mathematics · #03C10 #11M06 #11M41 #11S40 #11U05 #11U07 #11U09 #12J10 #12J12 #12J25 #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras #advanced mathematical theories #math.LO #msc:03C10 #msc:11M06 #msc:11M41 #msc:11S40 #msc:11U05 #msc:11U07 #msc:11U09 #msc:12J10 #msc:12J12 #msc:12J25
paper · pdf · doi:10.48550/arxiv.1910.14471
arxiv created 2019/10/31 · openalex publication_date 2019/10/31 · arxiv updated 2019/11/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.