We say that a real closed field is an IPA-real closed field if it admits an integer part (IP) which is a model of Peano Arithmetic (PA). In  we prove that the value group of an IPA-real closed field must satisfy very restrictive conditions (i.e. must be an exponential group in the residue field, in the sense of ). Combined with the main result of  on recursively saturated real closed fields, we obtain a valuation theoretic characterization of countable IPA-real closed fields. Expanding on , we conclude the talk by considering recursively saturated o-minimal expansions of real closed fields and their IPs.
 D'Aquino, P. - Kuhlmann, S. - Lange, K. : A valuation theoretic characterization ofrecursively saturated real closed fields ,
Journal of Symbolic Logic, Volume 80, Issue 01, 194-206 (2015)
 Carl, M. - D'Aquino, P. - Kuhlmann, S. : Value groups of real closed fields and
fragments of Peano Arithmetic, arXiv: 1205.2254, submitted
 D'Aquino, P. - Kuhlmann, S : Saturated o-minimal expansions of real closed fields, to appear in Algebra and Logic (2016)
 Kuhlmann, S. :Ordered Exponential Fields, The Fields Institute Monograph Series, vol 12. Amer. Math. Soc. (2000)
- Logic Seminar