On expansions and extensions of powerful digraphs

Abstract

We study the problem of expanding and extending the structure of a stable powerful digraph to the structure of a stable Ehrenfeucht theory. We define the concepts of type unstability and type strict order property. We establish the presence of the type strict order property for every acyclic graph structure with an infinite chain. The simplest form of expansion of a powerful digraph to the structure of an Ehrenfeucht theory is the expansion with a 1-inessential ordered coloring and locally graph ∃-definable many-placed relations, which enable us to mutually realize nonprincipal types; we prove that this expansion is incapable of keeping the structure in the class of stable structures, and moreover, by the type strict order property it generates the first-order definable strict order property. We define the concept of a locally countably categorical theory (LCC theory) and prove that given the list p ₁(x), ..., p _n (x) of all nonprincipal 1-types in an LCC theory, if all types r(x ₁, ..., x _m ) containing $p_{i_1 }$ (x ₁) ∪ ... ∪ $p_{i_m }$(x _m ) are dominated by some type q then q is a powerful type.