2023/10/22 by Point, Françoise
#03C10 #03C30 #03C60 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2310.14363
Outside of the framework of geometric theories, we exhibit complete, respectively model-complete theories of rings whose corresponding theory of pairs is complete, respectively model-complete, using transfer results proven in the seventies for boolean products of structures. It includes certain boolean products of pairs of dp-minimal fields of characteristic 0. We also show, as in the case of pairs of fields, how it fits in the framework of differential rings.