Компаньоны фрагментов в допустимых обогащениях

Abstract

В статье рассмотрены теоретико-модельные свойства компаньонов фрагментов специальных подмножеств в допустимых обогащениях. Под допустимыми обогащениями понимаются обогащения сигнатуры, которые сохраняют основные синтаксические свойства рассматриваемой йонсоновской теории. Изучение свойств компаньонов йонсоновской теории относится к классической проблематике изучения индуктивных теорий, которую определил в свое время один из основателей теории моделей А. Робинсон. Авторы статьи пришли к выводу, что основные свойства компаньонных фрагментов определяемых подмножеств семантической модели йонсоновской теории категоричны.

Keywords

• йонсоновская теория
• семантическая модель
• экзистенциально простой
• предгеометрия
• модулярная предгеометрия
• модельный компаньон