The Amalgamation Property for automorphisms of ordered abelian groups

arXiv2209.03944MaRDI QIDQ6508017FDOQ6508017

Authors: Jan Dobrowolski, Rosario Mennuni 

Abstract: 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.

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64)

This page was built for publication: The Amalgamation Property for automorphisms of ordered abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6508017)