Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 449

Preprint Number 449

Previous Next Preprint server

449. Merlin Carl, Paola D'Aquino and Salma Kuhlmann
Real Closed Exponential Fields and Models of Peano Arithmetic

Submission date: 10 May 2012.


We investigate real closed fields with an integer part that is a model of Peano Arithmetic (PA). We prove that such fields always allow left exponentiation. As a corollary, we obtain a large class of real closed fields without an integer part that is a model of PA. In particular, this includes uncountable, recursively saturated examples. This proves that the countability assumption in the recent theorem of P. D'Aquino, J. Knight and S. Starchenko is necessary.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1205.2254: pdf, ps.

Last updated: March 23 2021 10:22 Please send your corrections to: