Характеризация двух уровней выразительности логики предикатов над финитарным и инфинитарным семантическими слоями теоретико-модельных свойств и исследование моделей теорий первого порядка
Full Name of the work head: Кальменов Т.Ш.
Исполнители проекта: Перетятькин М.Г., Кудайбергенов К.Ж.
: Институт математики и математического моделирования
Inventory number: 0217РК01890
Registration number: 0115РК00657
Keywords: теория моделей*логика предикатов
Исследованы декартовы интерпретации теорий. Получена характеризация отношения семантического подобия теорий над финитарным слоем теоретико-модельных свойств. Доказано, что процедуры преобразования конечных сигнатур сохраняют все реальные теоретико-модельные свойства. Исследован тип изоморфизма алгебры Тарского-Линденбаума исчисления предикатов конечной богатой сигнатуры над комбинаторными слоями теоретико-модельных свойств. Получено решение обобщенной проблемы Тарского о характеризации выразительной силы логики первого порядка.
