There are Infinitely Many Countable Models of Strictly Stable Theories With no Dense Forking Chains
Thickness, and a categoric view of type-space functors
We define the class of thick cats (compact abstract theories, which contains in particular semi-Hausdorff, Hausdorff and first order cats), and prove that in this class simplicity behaves as in first order theories. We consider well-known first order notions, such as interpretability or stable dividing/reduct, and propose analogous notions that can be naturally expressed in terms of maps between type-space functors. We prove several desirable properties of the new notions and show the connection...
Thorn orthogonality and domination in unstable theories
We study orthogonality, domination, weight, regular and minimal types in the contexts of rosy and super-rosy theories.
Travaux publiés par les membres du groupe «théories stables»
Une théorie finiement axiomatisable et superstable
Weak generic types and coverings of groups I
We introduce the notion of a weak generic type in a group. We improve our earlier results on countable coverings of groups and types.
Well-definable types over subsets
When a first order T has limit models
We sort out to a large extent when a (first order complete theory) T has a superlimit model in a cardinal λ. Also we deal with related notions of being limit.
Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта -формул
Автоустойчивость и продолжение конструктивизаций.
Автоустойчивость моделей
Антиаддитивные примитивно связные теории
Интерпретация графов в решетках размерности три.
Инъективные минимальные модули
Итерированные обогащения моделей счетных теорий и их приложения.
К описанию моноидов, над которыми все полигоны имеют -стабильную теорию
Модели суперстабильных хорновых теорий
Моноиды, все полигоны над которыми -стабильны: докозательство гипотезы Мустафина-Пуаза.
Моноиды со стабильными полигонами без кручения.
Моноиды со стабильными теориями регулярных полигонов