theory, Prüfer domains of integer-valued polynomials and their monadic submonoids, and