Article contents
UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
Published online by Cambridge University Press: 22 April 2015
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 ɷ1-like models of PA.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2015
References
REFERENCES
- 2
- Cited by