Vaught's Conjecture for Sums of Products of Rooted Trees

Milo\v{s} S. Kurili\'c

In the authors' words

We confirm Vaught's conjecture for each partial order $X = \sum_{I} \prod_{j < m_{i}} X_{i, j}$ from the closure $⟨⟨ C^{rt} ⟩_{Π} ⟩_{Σ}$ of the class $C^{rt}$ of rooted trees under finite direct products and lexicographic sums. In addition, (a) $T := Th (X)$ is $ω$ -categorical iff all the theories $T_{i, j} := Th (X_{i, j})$ are $ω$ -categorical; (b) $T$ satisfies VC $^{♯}$ (that is, $I (T) \in {1, c}$ ), if VC $^{♯}$ holds for all $T_{i, j}$ . If $X \in ⟨⟨ C_{fa}^{rt} ⟩_{Π} ⟩_{Σ}$ , where $C_{fa}^{rt}$ is the class of finitely axiomatizable rooted trees, then (c) $T$ is finitely axiomatizable and (d) $Y \in Mod (T)$ iff $Y ≅ \sum_{I} \prod_{j < m_{i}} Y_{i, j}$ , where $Y_{i, j} \in Mod (T_{i, j})$ , for all indices. As a by-product we prove that (e) For each $n$ the class $C_{n}$ of partial orders isomorphic to a direct product of $n$ rooted trees of size $> 1$ is first-order definable; (f) Each $ω$ -categorical partial order from the class $⟨⟨ C_{fb}^{rt} ⟩_{Π} ⟩_{Σ}$ , where $C_{fb}^{rt}$ is the class of finite-branching rooted trees, is finitely axiomatizable. Statement (f) is related to the results of Rosenstein (for the class of linear orders) and Schmerl (for the class of partial orders of finite width).

Main resultLimitation the authors admit

Vaught's Conjecture for Sums of Products of Rooted Trees

In the authors' words

More on Other mathematics that day

The Siren Call of Silicon Leviathan: Reflections on blowup and Aufkl\"arungsd\"ammerung

A Measure-Theoretic Derivation of Zadeh Fuzzy Logic

Study of Iterative Detection and Decoding for {Mixed Near- and Far-Field} XL-MIMO Systems

Formal weakly enriched category theory

All Quiet on the AI Front: The Future of Undergraduate Math Research, Viewed from Duluth