Séminaire Logique mathématique ICJ
Paola D'Aquino "Commutative unital rings elementarily equivalent to prescribed products"
→
Europe/Paris
Description
Commutative unital rings elementarily equivalent to prescribed products
Abstract. We axiomatize the class of commutative unital rings which are elementarily equivalent to a non trivial product of commutative unital connected rings, obtaining in this way a converse of the classical result of Feferman and Vaught for the class of these rings. This is used in the model theoretic analysis of the rings M/nM where M is a model of Peano Arithmetic.