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.

生成讲解博客的中文版本

生成AI智能校验的中文版本