Logic Seminar

A Feferman Vaught theorem for products of commutative unital rings

by Paola D'Aquino (Università degli studi della Campania "Luigi Vanvitelli")

Europe/Rome
Aula seminari (Dipartimento di Matematica)

Aula seminari

Dipartimento di Matematica

Description

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.