English

Asymptotic Classes of Trees and $\aleph_0$-categoricity

Logic 2023-07-18 v1

Abstract

This paper focuses on the characterization of 0\aleph_0-categorical theories of trees in the following sense: for any 0\aleph_0-cateorical theory TT of trees there is a tree plan Γ\Gamma such that T=Th(Γ(ω))T=Th(\Gamma(\omega)) where Γ(ω)\Gamma(\omega) is the generic model of a Fra\"iss\'e class K(Γ)\mathbf{K}(\Gamma) obtained from the tree plan Γ\Gamma. Also, it is shown that K(Γ)\mathbf{K}(\Gamma) forms an asymptotic class, and its model-theoretic properties have been studied. Moreover, it is demonstrated that asymptotic classes of finite trees yield 0\aleph_0-categorical ultraproducts, and a characterization of supersimple, finite rank trees, using the notion of tree plan, is provided.

Keywords

Cite

@article{arxiv.2307.07899,
  title  = {Asymptotic Classes of Trees and $\aleph_0$-categoricity},
  author = {Mostafa Mirabi},
  journal= {arXiv preprint arXiv:2307.07899},
  year   = {2023}
}