English

Classification properties for some ternary structures

Logic 2025-11-12 v2 Combinatorics

Abstract

We provide a model-theoretic classification of the countable homogeneous H4\mathbf{H}_4-free 3-hypertournament studied by Cherlin, Hubi\v{c}ka, Kone\v{c}n\'y, and Ne\v{s}et\v{r}il. Our main result is that the theory of this structure is SOP3\mathrm{SOP}_3, TP2\mathrm{TP}_2, and NSOP4\mathrm{NSOP}_4. We offer two proofs of this fact: one is a direct proof, and the other employs part of the abstract machinery recently developed by Mutchnik.

Cite

@article{arxiv.2404.04381,
  title  = {Classification properties for some ternary structures},
  author = {Alberto Miguel-Gómez},
  journal= {arXiv preprint arXiv:2404.04381},
  year   = {2025}
}

Comments

26 pages; several improvements and minor corrections. To appear in Model Theory

R2 v1 2026-06-28T15:45:34.598Z