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 | Нуртазин Абыз Темиргалиевич | к.ф.-м.н. / нет |