An iterative construction of bases for finitely generated modules over principal ideal domains
Using lattice-ordered algebras it is shown that a totally ordered field which has a unique total order and is dense in its real closure has the property that each of its positive semidefinite rational functions is a sum of squares.
The purpose of my talk is to give an overview of some more or less recent developments on integer-valued polynomials and, doing so, to emphasize that integer-valued polynomials really occur in different areas: combinatorics, arithmetic, number theory, commutative and non-commutative algebra, topology, ultrametric analysis, and dynamics. I will show that several answers were given to open problems, and I will raise also some new questions.