论文标题
订购阿贝尔群体的自动形态的融合特性
The Amalgamation Property for automorphisms of ordered abelian groups
论文作者
论文摘要
我们证明，配备自动形态的有序的阿贝尔群体的类别具有合并性能，推断出其归纳理论在积极逻辑的意义上是刺激的，并启动了后一种框架的发展。 作为证明的副产品，我们获得了Hahn嵌入定理的广义版本，该版本允许将有序的Abelian群体的每个自动形态提升为一个有序的真实矢量空间之一，我们表明，在存在的封闭结构，自动形态的迭代层线性组合中，自动形态的价值属性具有中间值的属性。
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.
