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-типов у которых выпуклое замыкание типа не совпадает с типом в контексте неортогональности двух 1-типов. Описаны виды неортогональности 1-типов в контексте подсчёта числа счётных моделей малых упорядоченных теорий

Obtained results and novelty (in Kazakh) : Типтін дөңес тұйықтамы типке сәйкес келмейтін 1-типттер үшін екі 1-типті ортогоналдылық емес мәнмәтінінде дискретті және тығыз реті жағдайлары қарастырылды. Шағын реттелген теориялардың санақты модельдерінің санын есептеу мәнмәтінінде 1-типтердін ортогоналды емес түрлері сипатталған

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) : Жоба тақырыбы бойынша зерттеулер теориялық және іргелі болып табылады