Вычислимость, обобщенная вычислимость и ее взаимоотношения с определимостью, особенно в рамках теории допустимых множеств и теории моделей

Допустимые множества

Группы вычислимых перестановок и элементарные теории классов групп

Теория конструктивных моделей

Булевы алгебра

Вычислимость над вещественными числами и вычислимая топология

Теоретическая информатика