Submission date: 7 September 2014.

Abstract:

A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable semilinear order which is dense, unbounded, binary branching, and without joins. We study the reducts of this semilinear order, that is, the relational structures which are first-order definable in it. Our main result is a classification of the model-complete cores of those reducts. From this, we also obtain a classification of reducts up to first-order interdefinability, which is equivalent to a classification of all closed permutation groups that contain the automorphism group of the semilinear order.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1409.2170: pdf, ps.