Антиаддитивные примитивно связные теории

Основной целью является доказательство того, что в любой примитивно связной несуперстабильной теории интерпретируется бесконечная группа. Примитивно связные теории были введены автором ранее и для них была доказана теорема об элиминиции кванторов, которая обобщает аналогичную элиминацию, доказанную Бауром, Гараваглия и Монком для модулей. Изучаются примитивно связные теории, в которых не интерпретируется бесконечная группа, т.е. теории, принципиально отличающиеся от теорий модулей, но имеющие похожую структурную теорию. Такие теории называются антиаддитивными (отметим, что теории модулей, в отличие от антиаддитивных теорий, могут быть несуперстабильными).