当前位置: X-MOL 学术Ann. Pure Appl. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Linearly ordered sets with only one operator have the amalgamation property
Annals of Pure and Applied Logic ( IF 0.8 ) Pub Date : 2021-07-01 , DOI: 10.1016/j.apal.2021.103015
Paolo Lipparini

The class of linearly ordered sets with one order preserving unary operation has the Strong Amalgamation Property (SAP). The class of linearly ordered sets with one strict order preserving unary operation has AP but not SAP. The class of linearly ordered sets with two order preserving unary operations does not have AP. For every set F, the class of linearly ordered sets with an F-indexed family of automorphisms has SAP. Corresponding results are proved in the case of order reversing operations. Various subclasses of the above classes are considered and some model-theoretical consequences are presented.



中文翻译:

只有一个算子的线性有序集具有合并属性

具有一阶保留一元运算的线性有序集类具有强合并属性 (SAP)。具有一个严格顺序保留一元运算的线性有序集合的类有 AP 但没有 SAP。具有两阶保留一元运算的线性有序集类没有 AP。对于每个集合F,具有F索引自同构族的线性有序集合类具有 SAP。在顺序反转操作的情况下证明了相应的结果。考虑了上述类的各种子类,并提出了一些模型理论结果。

更新日期:2021-07-13
down
wechat
bug