Publications > Preprint server > Preprint Number 1192
Preprint Number 1192
1192. Eudes Naziazeno, Marco Barone, Nicolás Caro First-order definability of rational integers in a class of polynomial rings (first version) E-mail: Submission date: 24 March 2017 Abstract: In this paper, we prove first-order definability of the ground ring of integers, inside a polynomial ring with coefficients in a reduced indecomposable (commutative, unital) ring, provided the definability of a suitable subset of the constants. This extends a result, that has long been known to hold for integral domains (Robinson, 1952, Denef 1978) to a wider class of coefficient rings. We also provide an example of such a coefficient ring, which is not a domain, for which the requirement of having a definable subset is actually met. Mathematics Subject Classification: Keywords and phrases: |
Last updated: March 23 2021 09:20 | Please send your corrections to: |