Беклемишев Лев Дмитриевич

Специалист в области математической логики.

Основные научные результаты

Получена полная классификация пропозициональных логик доказуемости, то есть модальных логик, выражающих совокупность свойств доказуемости в некоторой формальной теории T, которые можно обосновать средствами некоторой другой теории U, при варьировании T и U в классе арифметических теорий.

Исследованы фрагменты формальной арифметики Пеано, задаваемые схемами индукции ограниченной кванторной сложности без параметров. Получены описания классов вычислимых функций, определённость которых при всех значениях аргумента может быть установлена в рамках таких теорий.

Предложен алгебраический подход к анализу формальных теорий на основе алгебр доказуемости. Установлена топологическая полнота полимодальной логики доказуемости.

Место работы и должность

Федеральное государственное бюджетное учреждение науки «Математический институт им. В. А. Стеклова Российской академии наук», главный научный сотрудник.