Full Name of the work head: Ешкеев Айбат Рафхатович
Исполнители проекта:
: Некоммерческое акционерное общество "Карагандинский университет имени академика Е. А. Букетова"
Inventory number: 0322РК00425
Registration number: 0121РК00126
Keywords: йонсоновская теория,косемантичность,семантическая модель,совершенность,теория моделей
Понятие йонсоновского спектра класса моделей и все полученные результаты, связанные с этим понятием, являются новыми и образуют следующий список: показаны йонсоновость и совершенность теорий дифференциально совершенных и дифференциально замкнутых полей фиксированной характеристики p и сформулировано достаточное условие для теории дифференциальных полей в контексте свойства быть йонсоновской; получена характеризация йонсоновских спектров ∃PM-теорий полигонов над группой относительно косемантичности с помощью некоторых инвариантов; доказана эквивалентность атомной и простой моделей, полученных с помощью некоторого оператора замыкания, заданного на определимых подмножествах семантической модели некоторого фиксированного класса косемантичности совершенного йонсоновского спектра класса экзистенциально замкнутых моделей некоторой полной индуктивной теории; получены условия, при которых форсинг-компаньон йосноновской AP-теории сохраняет свои свойства при расширении рассматриваемых теорий путем добавления в язык новых символов - предикатного и константного; доказана теорема существования голографичной структуры в классе моделей совершенной йонсоновской теории, полной для ∀∃-предложений; получена связь между совершенностью класса косемантичности из фиксированного JSp(K) и свойствами решетки En([Δ]); получены необходимые и достаточные условия счётной категоричности #-компаньона класса косемантичности фиксированного JSp(K).