-Boolean spectrum, and stability
Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.
-groups and pseudo-bad groups.
ℳ-rank and meager groups
Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.
ℳ-rank and meager types
Assume T is superstable and small. Using the multiplicity rank ℳ we find locally modular types in the same manner as U-rank considerations yield regular types. We define local versions of ℳ-rank, which also yield meager types.
Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта -формул
Автоустойчивость и продолжение конструктивизаций.
Автоустойчивость моделей
Антиаддитивные примитивно связные теории
Интерпретация графов в решетках размерности три.
Инъективные минимальные модули
Итерированные обогащения моделей счетных теорий и их приложения.
К описанию моноидов, над которыми все полигоны имеют -стабильную теорию
Модели суперстабильных хорновых теорий
Моноиды, все полигоны над которыми -стабильны: докозательство гипотезы Мустафина-Пуаза.
Моноиды со стабильными полигонами без кручения.
Моноиды со стабильными теориями регулярных полигонов
Мультипликативные формулы
Некоторые свойства автоустойчивых моделей
Нормальность хорновых теорий с немаксимальным спектром
О классификации суперстабильных теорий по ранговым функциям