Name
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. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1017/jsl.2016.37 | JOURNAL OF SYMBOLIC LOGIC |
Keywords | Field | DocType |
omega-categoricity,first-order reducts,tree-like structures,C-relation,homogeneous structures,model-completeness,endomorphism monoids | Discrete mathematics,Combinatorics,Countable set,Isomorphism,Monoid,Conjecture,Mathematics,Branching (version control),Endomorphism,Special case,Binary number | Journal |
Volume | Issue | ISSN |
81 | 4 | 0022-4812 |
Citations | PageRank | References |
1 | 0.35 | 4 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Manuel Bodirsky | 1 | 644 | 54.63 |
| Peter Jonsson | 2 | 23 | 6.80 |
| Van Trung Pham | 3 | 1 | 0.35 |