The Amalgamation Property for automorphisms of ordered abelian groups
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917955143467008 |
|---|---|
| author | Dobrowolski, Jan Mennuni, Rosario |
| author_facet | Dobrowolski, Jan Mennuni, Rosario |
| contents | We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework.
As byproducts of the proof, we obtain a generalised version of the Hahn Embedding Theorem which allows to lift each automorphism of an ordered abelian group to one of an ordered real vector space, and we show that, on existentially closed structures, linear combinations of iterates of the automorphism have the Intermediate Value Property. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2209_03944 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | The Amalgamation Property for automorphisms of ordered abelian groups Dobrowolski, Jan Mennuni, Rosario Logic Commutative Algebra 06F20, 03C60 (Primary) 03C45, 03C64 (Secondary) We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework. As byproducts of the proof, we obtain a generalised version of the Hahn Embedding Theorem which allows to lift each automorphism of an ordered abelian group to one of an ordered real vector space, and we show that, on existentially closed structures, linear combinations of iterates of the automorphism have the Intermediate Value Property. |
| title | The Amalgamation Property for automorphisms of ordered abelian groups |
| topic | Logic Commutative Algebra 06F20, 03C60 (Primary) 03C45, 03C64 (Secondary) |
| url | https://arxiv.org/abs/2209.03944 |