Vaught's Conjecture for Sums of Products of Rooted Trees

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

En palabras de los autores

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).

Resultado principalLimitación que admiten los autores

Vaught's Conjecture for Sums of Products of Rooted Trees

En palabras de los autores

Más de Otra matemática ese día

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