Inventory number IRN Number of state registration
0321РК00121 AP08856114-KC-21 0120РК00428
Document type Terms of distribution Availability of implementation
Краткие сведения Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 1
International publications: 0 Publications Web of science: 0 Publications Scopus: 0
Patents Amount of funding Code of the program
0 19359492.2 AP08856114
Name of work
Теория компаньонов
Type of work Source of funding Report authors
Fundamental Нуртазин Абыз Темиргалиевич
0
0
1
0
Customer МНВО РК
Information on the executing organization
Short name of the ministry (establishment) МНВО РК
Full name of the service recipient
РГП на ПХВ "Институт информационных и вычислительных технологий" МОН РК
Abbreviated name of the service recipient ИИВТ
Abstract

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

Модельдер мен теориялардың индуктивті, экзистенциалды жабық және мәжбүрлі серіктері. Рационал сандар өрісінің серіктері және экзистенциалды серіктері.

I. Изучение общих понятий: компаньона данной структуры, компаньон-класса и компаньон-теории. II. Создание общей теории индуктивных, экзистенциально замкнутых и фосинг-компаньонов. III. Изучение и классификация компаньон-теорий и экзистенциально замкнутых полей.

І . Жалпы ұғымдарды зерттеу: берілген құрылымның компаньоны, компаньон классы және компаньон теориясы. II . Индуктивті, экзистенциалды тұйықталатын және форсинг компаньон жалпы теориясын құру. III . Компаньон теориялар және экзистенциалды тұйықталатын өрістерді зерттеу және жіктеу.

метод конечных структур Фрэсе, метод элиминации кванторов, метод вынуждения Коэна

Фрэсе соңғы құрылымы әдісі, кванторларды элиминациялау әдісі, Коэннің мәжбүрлі әдісі

В ходе изучения возможного числа счетных компаньонов данной структуры в терминах экзистенциальной замкнутости получен критерий вложимости счетного расширения данной структуры в ее ультрастепень. Найдено необходимое условие полноты произвольной компаньон теории. Описан компаньон-класс поля действительных чисел. Определено число различных компаньон-теорий полей. Новизна: Все полученные теоретические результаты о классических структурах имеют классическую и одновременно оригинальную постановку и все они новы.

Экзистенциалды тұйықталу тұрғысынан берілген құрылымның есептелетін серіктестерінің ықтимал санын зерттеу барысында берілген құрылымның оның ультра қуаттылығына есептелетін кеңеюінің ендірілгендігінің критерийі алынады. Теорияның ерікті серігінің толық болуының қажетті шарты табылды. Нақты сандар өрісінің серіктес класы сипатталған. Әртүрлі серіктес өріс теорияларының саны анықталады. Жаңалығы: Классикалық құрылымдар бойынша алынған барлық теориялық нәтижелер классикалық және сонымен бірге өзіндік тұжырымға ие және олардың барлығы жаңа.

Работа является чисто теоретической такие показатели в ней не предусмотрены.

Жұмыс таза теориялық болып табылады, мұндай көрсеткіштер қарастырылмаған.

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

теориялық нәтижелер модель теориясында және алгебрада қолдану үшін маңызды, сонымен қатар осы ғылымдарда жаңа бағыттар ашады.

UDC indices
510.67
International classifier codes
27.03.66; 27.03.19; 27.00.00;
Key words in Russian
классы Фрэсе; модельная полнота; Экзистенциальная замкнутость; индуктивная теория; форсинг-модель; компаньоны; компаньон-теория; компаньон-структура;
Key words in Kazakh
Фрэсе класстары; модельдердің толықтығы; Экзистенциалды тұйықталу; индуктивті теория; форсинг-модель; компаньондар; компаньон теориясы; компаньон құрылымы;
Head of the organization Мутанов Галымкаир Мутанович Доктор технических наук / профессор
Head of work Нуртазин Абыз Темиргалиевич к.ф.-м.н. / нет