- РУС
- ТАТ
Математик, доктор физико-математических наук (1988), академик Академии наук РТ (2016), заслуженный деятель науки РТ (1998)
Родился 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 (соавтор).
Вы используете устаревшую версию браузера.
Для корректного отображения сайта обновите браузер.