Siblings of an _0-categorical relational structure

MaRDI QIDQ5154973zbMATH OpenFDO

Authors Claude Laflamme, Maurice Pouzet, Norbert Sauer, R. E. Woodrow

Publication date 5 October 2021

Full work available at URL https://arxiv.org/abs/1811.04185, https://cdm.ucalgary.ca/article/view/71727

zbMATH Keywords

treeshomogeneityrelational structuresisomorphyequimorphyultrahomogeneityoligomorphic groups

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Model theory of denumerable and separable structures (03C15)

Abstract: A sibling of a relational structure $R$ is any structure $S$ which can be embedded into $R$ and, vice versa, in which $R$ can be embedded. Let $sib(R)$ be the number of siblings of $R$, these siblings being counted up to isomorphism. Thomass'e conjectured that for countable relational structures made of at most countably many relations, $sib(R)$ is either $1$, countably infinite, or the size of the continuum; but even showing the special case $sib(R)=1$ or infinite is unsettled when $R$ is a countable tree. This is related to Bonato-Tardif conjecture asserting that for every tree $T$ the number of trees which are sibling of $T$ is either one or infinite. We prove that if $R$ is countable and $alep{h}_0$-categorical, then indeed $sib(R)$ is one or infinite. Furthermore, $sib(R)$ is one if and only if $R$ 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.

Recommendations

• ℵ₀-categorical tree-decomposable structures
• Relational structures determined by their finite induced substructures
• The \(\aleph_{0}\)-categorical trees
• Binary relational structures having only countably many nonisomorphic substructures
• Countable structures of given age

Cites work

• scientific article; zbMATH DE number 4044061 (Why is no real title available?)
• scientific article; zbMATH DE number 50583 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• scientific article; zbMATH DE number 3360158 (Why is no real title available?)
• scientific article; zbMATH DE number 3394127 (Why is no real title available?)
• scientific article; zbMATH DE number 3394133 (Why is no real title available?)
• A proof of a partition theorem for [ℚ]ⁿ
• A proof of the rooted tree alternative conjecture
• Coinductive ℵ₀-categorical theories
• Countable Ultrahomogeneous Undirected Graphs
• Countable structures of given age
• Equimorphy: the case of chains
• Graph theory
• Isomorphy up to complementation
• Large and small existentially closed structures
• Model Companions for ℵ 0 -Categorical Theories
• Mutually embeddable graphs and the tree alternative conjecture
• On Better-Quasi-Ordering Countable Series-Parallel Orders
• On Fraissé's order type conjecture
• Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
• Relational structures determined by their finite induced substructures
• Relational structures having finitely many full-cardinality restrictions
• Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile
• Sur l'extension aux relations de quelques propriétés des ordres
• The morphology of infinite tournaments; application to the growth of their profile
• The reconstruction of multirelations, at least one component of which is a chain
• Transitivity of permutation groups on unordered sets
• Twins of rayless graphs
• Ubiquity in category for metric spaces and transition systems
• Über die Permutationsgruppe der natürlichen Zahlenfolge

Cited in

(6)

• An example of Tateno disproving conjectures of Bonato-Tardif, Thomasse, and Tyomkyn
• COUNTING SIBLINGS IN UNIVERSAL THEORIES
• A Cantor-Bendixson rank for siblings of trees
• ℵ₀-categorical tree-decomposable structures
• Bi‐embeddability spectra and bases of spectra
• A proof of the alternate Thomassé conjecture for countable \(N\)-free posets

This page was built for publication: Siblings of an \(\aleph_0\)-categorical relational structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5154973)