О вычислимости над моделями разрешимых теорий
О вычислимых группах автоморфизмов моделей.
О главных нумерациях функционалов над допустимыми множествами
О гомоморфизмах на негативные алгебры
О граничной эквивалентности колец и матричных колец над ними
О группах автоморфизмов разрешимых моделей
О квазирезольвентных моделях -моделях
О конструктивизации булевых решеток
О конструктивизациях булевых алгебр.
О конструктивизируемости простой модели.
О позитивных нумерованных моделях.
О полурешетках вычислимых индексаций классов конструктивных моделей
О представимости групп -определимых перестановок над допустимыми множествами.
О расширениях конструктивных линейных порядков.
О рекурсивных автоморфизмах атомных булевых алгебр
О списке свойств с условием финитарной реализуемости
О числе -конгруэнций позитивных алгебр
Об алгоритмической размерности унаров
Об одном вопросе Хигмана
Об одном классе сильно разложимых абелевых групп.