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

Preprint Number 459

Previous Next Preprint server

459. David Marker and Charles Steinhorn
Uncountable real closed fields with PA integer parts

Submission date: 23 May 2012.


D'Aquino, Knight and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for extending their results to the uncountable and study real closures of \omega_1-like models of PA.

Mathematics Subject Classification: 03C64 , 03C60

Keywords and phrases: Real closed field, integer part, Peano Arithmetic, recursive saturation, \omega_1-like model

Full text arXiv 1205.5156: pdf, ps.

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