Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 770

Preprint Number 770

Previous Next Preprint server

770. Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz
The universal homogeneous binary tree

Submission date: 7 September 2014.


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.

Last updated: September 14 2014 12:28 Please send your corrections to: