Главная » Страницы » Зертханалық алгебра және логика

Зертханалық алгебра және логика

БадаевАлгебра зертханасының меңгерушісі және логикалық

БАДАЕВ СЕРИКЖАН АГИБАЕВИЧ

физика-математика ғылымдарының  докторы, профессор

Негізгі ғылыми жетістіктері:

(АҚШ, Штеффен Лемппен бірлесе) есептемелі қайта есептеленетін жиынтықтар айырмасы отбасының болуы дәлелденді, Фридберг нумерациясымен туындаған басты идеал мен басты фильтрге бөлуге рұқсат беретін Роджерстің жартылай торы. Атап айтқанда, аталған отбасыларының Фридбергтікі болып табылатын дәл екі минималды нумерациясы болады. (Ресей, С.С.Гончаровпен бірлесе) арифметикалық иерархиядағы кез келген шексіз есептелетін жиынтықтар отбасыларының шексіз көптеген есептелетін минималды нумерациясы болатыны дәлелденді. (Кез келген соңғы отбасының ең төменгі нумерациясы болатынын атап өту қажет). Ершов иерархиясында салынған жиынтықтар жұбынан тұратын және Роджерстің бір элементтік жартылай торы бар отбасы табылды.