Число моделей теорий всюду конечно определенных полигонометрий.
Число Ханфа для исчисления с квантором Хартига
Что можно сделать в ПРА
Эквивалентность двух определений непрерывности
Экзистенциально замкнутые регулярные коммутативные полугруппы.
Элементарная теория модуля над локальным кольцом.
Элементарная теория скелетов вложимости дискриминаторных многообразий.
Элементарная теория -степеней.
Элементарная эквивалентность решеток разбиений
Элементарные расширения, опускание типов и однородные модели
Элементарные регулярные кольца
Элементарные свойства упорядоченных абелевых групп
Элементарные теории конечно-порожденных про-р-колец.
Элиминация кванторов в хорновых теориях с малым числом моделей.
Эндоморфизмы группы всех рекурсивных перестановок.
Эрбрановы тактики и отношение "большей выводимости"
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
Эффективно бесконечные классы слабых конструктивизаций моделей
Эффективно иммунные, эффективно гипериммунные множества и их степени неразрешимости