йонсоновская теория, семантическая модель, экзистенциально простой, предгеометрия, модулярная предгеометрия, модельный компаньон, Analysis, QA299.6-433, Analytic mechanics, QA801-939, Probabilities. Mathematical statistics, QA273-280

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