Dependent finitely homogneneous rosy structures
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 -rank and are coordinatized by a -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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.