Publications > Preprint server > Preprint Number 449
Preprint Number 449
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:
|Last updated: May 16 2012 16:46||Please send your corrections to:|