This is essentially a survey talk. I will briefly review the well known relations that exist among real closed fields, models of Peano Arithmetic and recursive saturations in terms of integer parts. The analysis will be extended to the setting which includes an exponential function. Characterizations of saturation properties for real closed fields in terms of valuation theory will be provided.