Companions of fragments in admissible enrichments
Aibat R. Yeshkeyev, G.E. Zhumabekova · BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS · 2018
В статье рассмотрены теоретико-модельные свойства компаньонов фрагментов специальных подмножеств в допустимых обогащениях. Под допустимыми обогащениями понимаются обогащения сигнатуры, которые сохраняют основные синтаксические свойства рассматриваемой йонсоновской теории. Изучение свойств компаньонов йонсоновской теории относится к классической проблематике изучения индуктивных теорий, которую определил в свое время один из основателей теории моделей А. Робинсон. Авторы статьи пришли к выводу, что основные свойства компаньонных фрагментов определяемых подмножеств семантической модели йонсоновской теории категоричны.