Судоплатов С. В.
Властные орграфы

Определяется понятие властного орграфа и устанавливается, что структура властного орграфа содержится в насыщенной структуре любого неглавного властного типа p, обладающего глобальным свойством попарного пересечения и свойством подобия теорий графовых структур типа p и некоторых его формульных ограничений (такими свойствами обладают все властные типы в известных теориях с конечным (>1) числом попарно неизоморфных счетных моделей). Описываются структуры транзитивных замыканий насыщенных властных орграфов, образующихся в моделях теорий с неглавными властными 1-типами при условии конечного числа неглавных 1-типов. Доказывается, что структура властного орграфа, рассматриваемая в модели простой теории, индуцирует бесконечный вес, откуда вытекает, что властные орграфы не встречаются в структурах известных классов простых теорий (таких как суперпростые или конечно базируемые теории), не содержащих теории с конечным (>1) числом счетных моделей.

Sudoplatov S. V.
Powerful digraphs

We introduce the concept of a powerful digraph and establish that a powerful digraph structure is included into the saturated structure of each nonprincipal powerful type p possessing the global pairwise intersection property and the similarity property for the theories of graph structures of type p and some of its first-order definable restrictions (all powerful types in the available theories with finitely many (> 1) pairwise nonisomorphic countable models have this property). We describe the structures of the transitive closures of the saturated powerful digraphs that occur in the models of theories with nonprincipal powerful 1-types provided that the number of nonprincipal 1-types is finite. We prove that a powerful digraph structure, considered in a model of a simple theory, induces an infinite weight, which implies that the powerful digraphs do not occur in the structures of the available classes of the simple theories (like the supersimple or finitely based theories) that do not contain theories with finitely many (> 1) countable models.

Полный текст статьи / Full texts:

• PDF file (430 KB)
• PostScript file (845 KB)