Комбинаторика первого порядка и теоретико-модельные свойства, различимые на парах взаимно интерпретируемых теорий

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