Dense pairs of rings

Françoise Point
DOI: https://doi.org/10.48550/arXiv.2310.14363
2023-10-23
Abstract: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.
Logic
What problem does this paper attempt to address?