The object of research, development or design (in Russian) : Индуктивные компаньоны, индуктивная теория кольца целых чисел и абелевых групп

The object of research, development or design (in Kazakh) : Индуктивті компаньонлар,бүтің сандар сақинасының және абелдік топтардың индуктівті теория.

Aim of work (in Russian) : Исследовать элементарную теорию различных индуктивных компаньонов. Исследовать пополнения индуктивных компаньонов.

Aim of work (in Kazakh) : Әр түрлі индуктивті компаньоның элементар теориясы зертеленеді. Индуктивті компаньонларды толықтауың зертеп шығару.

Методы исследования (на русском) : Методы теории моделей и алгебры

Методы исследования (на казахском) : Модельдер теория мен алгебрасының әдістері

Obtained results and novelty (in Russian) : 1) Описан экзистенциально замкнутые абелевы группы без кручения 2) Смешанная абелева группа экзистенциально замкнута, если и только если она разлагается в прямую сумму своей периодической части и полной подгруппы без кручения, каждая из которых экзистенциально замкнута. 3) Любой счетный экзистенциально замкнутый компаньон абелевых групп содержит либо одну, либо счётное число экзистенциально замкнутых. 4) Имеется континуум попарно не элементарно эквивалентных экзистенциально замкнутых абелевых групп. 5) Элементарная теория любого экзистенциально замкнутого компаньона абелевых групп полна, модельно полна и тотально трансцендентна. 6) Класс всех экзистенциально замкнутых абелевых групп не аксиоматизируем, а его элементарная теория разрешима. 7) Описаны трансцендентные и алгебраические компаньон расширения кольца целых чисел. 8) Описаны экзистенциально замкнутые компаньоны кольца целых чисел.

Obtained results and novelty (in Kazakh) : 1) сипатталған экзистенциалды тұйықталған авелия топтары 2) аралас абелия тобы, егер ол өзінің периодтық бөлігінің тікелей қосындысына және әрқайсысы экзистенциалды түрде жабылған толық бұралусыз кіші топқа бөлінген жағдайда ғана экзистенциалды түрде жабық болады. 3) Абель топтарының кез-келген есептелетін экзистенциалды жабық серігі экзистенциалды жабықтардың біреуін немесе есептік санын қамтиды. 4) экзистенциалды тұйықталған абель топтарының жұптық элементтік емес эквивалентінің континуумы бар. 5) Абел топтарының кез-келген экзистенциалды тұйықталған серігінің элементарлы теориясы толық, модель-толық және трансценденталды. 6) барлық экзистенциалды тұйықталған абел топтарының класы аксиоматтандырылмайды, ал оның қарапайым теориясы шешімді болып табылады. 7) Бүтін сандар сақинасының трансцендентальды және алгебралық серіктес кеңейтілімдері. 8) бүтін сандар сақинасының экзистенциалды жабық серіктері сипатталған.

The main constructive and technical economic indicators (in Russian) : Создано новый инструмент для исследования элементарной теории данной структуры

The main constructive and technical economic indicators (in Kazakh) : Берілген құрылымның элементар теориясын зертеуге жаңа құрал шығарылған

Level of implementation (in Russian) : Не внедрено

Level of implementation (in Kazakh) : Не внедрено

Efficiency (in Russian) :

Efficiency (in Kazakh) :

Field of application (in Russian) : Теория моделей, математическая логика

Field of application (in Kazakh) : Моделдер теориясы, математикалық логика