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