Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings

arXiv2007.09244MaRDI QIDQ6345331FDOQ6345331

Angus Macintyre, Jamshid Derakhshan

Publication date: 17 July 2020

Abstract: We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any commutative unital ring satisfying these axioms is elementarily equivalent to a restricted product of connected rings. This is an extension of the results in cite{elem-prod} for products. While the results in cite{elem-prod} give a converse to the Feferman-Vaught theorem for products, our results prove the same for restricted products. We give a complete set of axioms in the language of rings for the ring of adeles of a number field, uniformly in the number field.

This page was built for publication: Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6345331)