Stable formulas in ordered structures
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912082246500352 |
|---|---|
| author | Hoffmann, Daniel Max Tran, Chieu-Minh Ye, Jinhe |
| author_facet | Hoffmann, Daniel Max Tran, Chieu-Minh Ye, Jinhe |
| contents | We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third result, unexpectedly, requires the Hironaka's theorem on resolution of singularities. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2004_10953 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Stable formulas in ordered structures Hoffmann, Daniel Max Tran, Chieu-Minh Ye, Jinhe Logic Primary: 03C64. Secondary: 03C45, 03C10 We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third result, unexpectedly, requires the Hironaka's theorem on resolution of singularities. |
| title | Stable formulas in ordered structures |
| topic | Logic Primary: 03C64. Secondary: 03C45, 03C10 |
| url | https://arxiv.org/abs/2004.10953 |