Судоплатов С. В.
Несущественные совмещения и раскраски моделей

Определяются операции несущественного и почти несущественного совмещения моделей, а также теорий. Устанавливается базируемость (почти) несущественного совмещения теорий, а также сохранение свойств малости и λ-стабильности при переходе к (почти) несущественным совмещениям теорий. Определяются понятия раскраски модели, цветной модели, а также цветной теории и переносятся утверждения о совмещениях на случай раскраски. Дается характеризация несущественности раскраски полигонометрии.

Sudoplatov S. V.
Inessential combinations and colorings of models

We define the operations of an inessential combination and an almost inessential combination of models and theories. We establish basedness for an (almost) inessential combination of theories. We also establish that the properties of smallness and λ-stability are preserved upon passing to (almost) inessential combinations of theories. We define the notions of coloring of a model, colored model, and colored theory, and transfer the assertions about combinations to the case of colorings. We characterize the inessential colorings of a polygonometry.

Полный текст статьи / Full texts:

• PDF file (435 KB)
• PostScript file (811 KB)