English

Dependent finitely homogneneous rosy structures

Logic 2021-07-07 v1

Abstract

We study finitely homogeneous dependent rosy structures, adapting results of Cherlin, Harrington, and Lachlan proved for ω\omega-stable ω\omega-categorical structures. In particular, we prove that such structures have finite {\th}-rank and are coordinatized by a {\th}-rank 1 set. We show that they admit a distal, finitely axiomatizable, expansion. These results show that there are, up to inter-definability, at most countably many dependent rosy structures M which are homogeneous in a finite relational language.

Keywords

Cite

@article{arxiv.2107.02727,
  title  = {Dependent finitely homogneneous rosy structures},
  author = {Alf Onshuus and Pierre Simon},
  journal= {arXiv preprint arXiv:2107.02727},
  year   = {2021}
}
R2 v1 2026-06-24T03:56:19.950Z