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 -stable -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}
}