We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Linearly ordered sets with only one operator have the amalgamation property

Abstract: 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 has not 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.
Comments: v2 minor fixes
Subjects: Logic (math.LO)
MSC classes: 03C52, 06F99, 06A05, 03C64
Journal reference: Slightly abridged version published on Annals of Pure and Applied Logic Volume 172, Issue 10, December 2021, 103015
DOI: 10.1016/j.apal.2021.103015
Cite as: arXiv:2103.00283 [math.LO]
  (or arXiv:2103.00283v2 [math.LO] for this version)

Submission history

From: Paolo Lipparini Ric. [view email]
[v1] Sat, 27 Feb 2021 18:08:52 GMT (44kb)
[v2] Sat, 3 Jul 2021 18:52:17 GMT (44kb)

Link back to: arXiv, form interface, contact.