Decidability Problems for Adele Rings and related restricted products
Logic
2019-11-01 v1
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.
Keywords
Cite
@article{arxiv.1910.14471,
title = {Decidability Problems for Adele Rings and related restricted products},
author = {Jamshid Derakhshan and Angus Macintyre},
journal= {arXiv preprint arXiv:1910.14471},
year = {2019}
}