Integer-valued polynomials, which are Polynomials with coefficients in a field (such as the rational numbers) that
map a certain ring (such as the integers) to itself, have long been known for their usefulness in Newton
interpolation, and their arithmetical properties have been studied by number theorists. Today rings of integer-
valued polynomials, which are usually non-Noetherlan, are central examples in the theory of Prüfer rings.
The objective is to study their K-theory, which is fascinating because the description of the K-groups of the
polynomial. ring over a field is one of the highlights of algebraic K-theory, while very little is known about the K-
groups of non-Noetherian rings. Another goal is to adapt valuation-theoretic methods that have been very
successful in the study of the structure of rings of integer-valued polynomials from discrete rank 1 valuations to
general valuations, which would greatly extend the class of rings amenable to these methods.