Uncountable Real Closed Fields with PA Integer Parts
Logic
2014-01-28 v2
Abstract
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 -like models of PA.
Cite
@article{arxiv.1205.5156,
title = {Uncountable Real Closed Fields with PA Integer Parts},
author = {David Marker and James Schmerl and Charles Steinhorn},
journal= {arXiv preprint arXiv:1205.5156},
year = {2014}
}