Models of true arithmetic are integer parts of nice real closed fields
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2013
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916021361704960 |
|---|---|
| author | Carl, Merlin |
| author_facet | Carl, Merlin |
| contents | Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an exponential real closed field that is elementary equivalent to the reals with exponentiation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1307_6595 |
| institution | arXiv |
| publishDate | 2013 |
| record_format | arxiv |
| spellingShingle | Models of true arithmetic are integer parts of nice real closed fields Carl, Merlin Logic Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an exponential real closed field that is elementary equivalent to the reals with exponentiation. |
| title | Models of true arithmetic are integer parts of nice real closed fields |
| topic | Logic |
| url | https://arxiv.org/abs/1307.6595 |