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

Preprint Number 759

Previous Next Preprint server

759. Manuel Bodirsky and Peter Jonsson and Trung Van Pham
The Reducts of the Homogeneous Binary Branching C-relation

Submission date: 11 August 2014


Let (L;C) be the (up to isomorphism unique) countable homogeneous structure carrying a binary branching C-relation. We study the reducts of (L;C), i.e., the structures with domain L that are first-order definable in (L;C). We show that up to existential interdefinability, there are finitely many such reducts. This implies that there are finitely many reducts up to first-order interdefinability, thus confirming a conjecture of Simon Thomas for the special case of (L;C). We also study the endomorphism monoids of such reducts and show that they fall into four categories.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1408.2554: pdf, ps.

Last updated: August 25 2014 10:48 Please send your corrections to: