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