Грамматики с линейной памятью
Группы автоморфизмов вычислимо перечислимых предикатов.
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
Два неразрешимых класса формул классического исчисления предикатов
Два сведения изоморфизма графов к задачам о полиномах
Две редукции 10-й проблемы Гильберта
Две системы доказательства тавтологичности, основанные на методе расщеплений
Две теоремы о вычислимых нумерациях
Две теоремы о рекурсивно перечислимых множествах.
Две теоремы о сложности алгорифмов и вычислений
Две теоремы существования для вычислимых нумераций.
Двухэлементное отделимое нумерованное множество с неразрешимой проблемой .
Дефицитные множестба рекурсивно перечислимых множеств и их разностей
Диофантова сложность
Дискретные семейства рекурсивных функций и индексные множества
Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
Доказательство несовпадения классов простых примитивно рекурсивных функций
Дополнение к статье Ю.Л.Ершова"Верхняя полурешетка нумераций конечного множества".
Ещё несколько примеров неразрешимых теорий
Еще раз о вопросе Хигмана