Inventory number IRN Number of state registration
0323РК00647 AP14972657-KC-23 0122РК00831
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 7999108.5 AP14972657
Name of work
Обогащение моделей зависимых теорий унарными и бинарными предикатами, определяемыми бесконечным семейством формул
Type of work Source of funding Report authors
Fundamental Байжанов Саян Саматович
0
0
0
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

обогащение тип определимым множеством стабильных и упорядоченных теорий

түрді тұрақты және реттелген теориялардың анықталатын жиынтығымен байыту

Защита диссертации PhD руководителя проекта. Установить условия для классов NIP теорий или (и) для предикатов, при которых обогащение моделей данных теорий унарными и (или) бинарными предикатами, не влечет изменение свойств исходной теории.

Жоба жетекшісінің PhD диссертациясын қорғау. NIP теориялар бөлімдері немесе (және) предикаттар шарттарды орнату үшін яғни байыту модельдері берілген теориялардың біртұтас және (немесе) бинарлық предикаттармен, бастапқы теорияның қасиеттерін өзгертуге әкелмейді.

Для достижения целей проекта предполагается использование теории типов, сформированной для различных классов NIP теорий (С. Шелах, У. Хрущовский, М. Морли, Дж. Балдвин, Д. Маркер, Ч. Стейнхорн, А. Пиллай, П. Симон), в том числе научным консультантом

Жобаның мақсаттарына жету үшін ҰИП теорияларының әртүрлі кластары үшін қалыптасқан типтер теориясын пайдалану көзделіп отыр (С. Шелах, В. Хрущевский, М. Морли, Дж. Болдуин, Д. Маркер, Ч. Стейнхорн, А. Пиллай, П. Саймон), оның ішінде ғылыми кеңесші

1) Проведена защита диссертации PhD. Диплом PhD № 00022390593. 2) Сформулирована гипотеза о необходимом критерии для сохранения стабильности теории модели обогащенной унарным, тип-определимым предикатом.

1) PhD кандидаттық диссертация қорғалды. PhD докторы дипломы No 00022390593. 2) Бірыңғай, типі анықталатын предикатпен байытылған модель теориясының тұрақтылығын сақтаудың қажетті критерийі туралы гипотеза тұжырымдалады.

Нет, так как исследование является фундаментальным.

Жоқ, себебі, зерттеу іргелі болып табылады.

Нет

Жоқ

Исследование является фундаментальным

Зерттеу іргелі болып табылады

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

Жоба аясында алынған нәтижелерді үлгіні байытумен айналысатын әрбір адам қолдана алады. Сонымен қатар, мұндай зерттеулер математиканың басқа салаларының мамандарына пайдалы болатын теориялар кластарының үлгілерінің жаңа сипаттамаларын ашады.

UDC indices
510.67
International classifier codes
27.03.66;
Key words in Russian
Обогащение моделей; Теория моделей; Упорядоченно стабильные теории; Слабо о-минимальные теории; Определимость типов; стабильные теории;
Key words in Kazakh
Модельді байыту; Модельдік теория; Реттелген тұрақты теориялар; Әлсіз o-минималды теориялар; Типтің анықтау мүмкіндігі; тұрақты теориялар;
Head of the organization Садыбеков Махмуд Абдысаметович д.ф.-м.н. / профессор
Head of work Байжанов Саян Саматович PhD in Mathematics / Нет