ОБЩИЕ СВЕДЕНИЯ


IRNAP08955727, Number of state registration0120РК00336

TitleMaximal number of countable non-isomorphic models for linearly ordered theories without uniformly definable densely ordered family of convex equivalence relations

Scientific priorityНаучные исследования в области естественных наук

Type of researchFundamental

ApplicantРеспубликанское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования"

Project InvestigatorЗамбарная Татьяна Сергеевна

SSTE score29

Total approved sum4741000


Expected results

Есепті кезеңде келесі нәтижелер алынды: берілген санақты жиынды қамтитын және ең кіші ақырлы диаграммаға (dowry) ие шағын теорияның санақты моделінің құрастырылуы берілді; қайсыбір p типінде оңға қарай дөңес p-сақтайтын минимал формуласы жоқ сызықты реттелген шағын теориялардың классының санақты екеуара изоморфты емес модельдерінің санының максималдылығы (еместігі) анықталды; қайсыбір p типінде p-сақтайтын оңға қарай дөңес формулалар жиыны шексіз болатын сызықты реттелген шағын теориялар классының санақты екеуара изоморфты емес модельдерінің санының максималдылығы (еместігі) анықталды. Жаңалығы: барлық нәтижелер жаңа болып табылады және жеке әзірлемелер мен әдістерге негізделген.