The ring of integer-valued polynomials of a semi-local principal-ideal domain (Q1177249)

Let \(D\) be a principal ideal domain with field of fractions \(K\) and let \(\text{Int}(D)\) be the subring of the polynomial ring \(K[X]\) consisting of those polynomials \(f\) for which \(f(D)\subseteq D\). The author establishes some properties of \(\text{Int}(D)\) under the condition that \(D\) is semilocal with all its residue fields finite. In particular, \(\text{Int}(D)\) is a Prüfer domain for which the invariant factor theorem holds.