The reducts of the homogeneous binary branching C-relation

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

  • Manuel Bodirsky - , Institut für Algebra, Technische Universität Dresden (Autor:in)
  • Peter Jonsson - , Linköping University (Autor:in)
  • Trung Van Pham - , Technische Universitat Wien (Autor:in)

Abstract

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.

Details

OriginalspracheEnglisch
Seiten (von - bis)1255-1297
Seitenumfang43
FachzeitschriftJournal of Symbolic Logic
Jahrgang81
Ausgabenummer4
PublikationsstatusVeröffentlicht - 1 Dez. 2016
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0001-8228-3611/work/142241098

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • C-relation, Endomorphism monoids, First-order reducts, Homogeneous structures, Model-completeness, Omega-categoricity, Tree-like structures