Commutative unital rings elementarily equivalent to prescribed product rings

2023/07/19 by D'Aquino, Paola, Macintyre, Angus
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2307.10465

Abstract

The classical work of Feferman Vaught gives a powerful, constructive analysis of definability in (generalized) product structures, and certain associated enriched Boolean structures. %structures in terms of definability in the component structures. Here, by closely related methods, but in the special setting of commutative unital rings, we obtain a kind of converse allowing us to determine in interesting cases, when a commutative unital R is elementarily equivalent to a nontrivial product of a family of commutative unital rings R_i. We use this in the model theoretic analysis of residue rings of models of Peano Arithmetic.

Related

• Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings
• The model theory of residue rings of models of Peano Arithmetic: The prime power case
• Rings and C*-algebras generated by commutators
• Ring theory in o-minimal structures
• Divisibility Theory of Commutative Rings and Ideal Distributivity