Forking and invariant types in regular ordered Abelian groups
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914177771110400 |
|---|---|
| author | Hossain, Akash |
| author_facet | Hossain, Akash |
| contents | We give a characterization of forking in regular ordered Abelian groups. In particular, we prove that the type of C over AB does not fork over A if and only if the type over AB of each C-definable singleton does not fork over A in these structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_12279 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Forking and invariant types in regular ordered Abelian groups Hossain, Akash Logic 03C64 (Primary), 06F20 (Secondary) We give a characterization of forking in regular ordered Abelian groups. In particular, we prove that the type of C over AB does not fork over A if and only if the type over AB of each C-definable singleton does not fork over A in these structures. |
| title | Forking and invariant types in regular ordered Abelian groups |
| topic | Logic 03C64 (Primary), 06F20 (Secondary) |
| url | https://arxiv.org/abs/2312.12279 |