Биография

Родился 7 февраля 1944 года в деревне Именьково Лаишевского района.

Окончил Казанский университет (1966), с 1969 года работает там же. Заведующий кафедрой алгебры (с 1989 года), заведующий отделом алгебры и математической логики в научно-исследовательском институте математики и механики (с 1993 года), профессор (1990), заведующий кафедрой алгебры и математической логики Казанского университета.

Редактор международного журнала «Mathematical Logic Quarterly».

Научная деятельность

Труды по теории вычислимости, алгебре и математической логике.

Разработал (1978) критерии полноты арифметических множеств, получившие широкое применение в теории алгоритмов. Доказал (1988) различие элементарных теорий алгебраических структур специального вида, имеющих определенную алгоритмическую природу.

Сочинения

Рекурсивно перечислимые множества и степени неразрешимости. Казань, 1986.

Interpolating d-r.e. and REA degrees between r.e. degrees // Annals of Pure and Applied Logic. 1996. V.78. (соавтор).

Degree structures in Local degree theory // Lecture Notes in Pure and Applied Mathematics. 1997. V.187.

There is no low maximal d-c.e. degree, Curregendum // Math. Logic Quarterly. 2005. V. 50 (соавтор).

The minimal e-degree problem in fragments of Peano arithmetic // Annals of Pure and Applied Math. 2005. V.131 (соавтор).