Siblings of an $\aleph_0$-categorical relational structure
Abstract
A sibling of a relational structure is any structure which can be embedded into and, vice versa, in which can be embedded. Let be the number of siblings of , these siblings being counted up to isomorphism. Thomass\'e conjectured that for countable relational structures made of at most countably many relations, is either , countably infinite, or the size of the continuum; but even showing the special case or infinite is unsettled when is a countable tree. This is related to Bonato-Tardif conjecture asserting that for every tree the number of trees which are sibling of is either one or infinite. We prove that if is countable and -categorical, then indeed is one or infinite. Furthermore, is one if and only if is finitely partitionable in the sense of Hodkinson and Macpherson. The key tools in our proof are the notion of monomorphic decomposition of a relational structure introduced in a paper by Pouzet and Thi\'ery 2013 and studied further by Oudrar and Pouzet 2015, and a result of Frasnay 1984.
Keywords
Cite
@article{arxiv.1811.04185,
title = {Siblings of an $\aleph_0$-categorical relational structure},
author = {Claude Laflamme and Maurice Pouzet and Norbert Sauer and Robert Woodrow},
journal= {arXiv preprint arXiv:1811.04185},
year = {2019}
}
Comments
34 pp