Kinds of preservations for properties
Temurboy E. Rajabov, Sergey V. Sudoplatov
公開日: 2025/9/26
Abstract
We study possibilities of preservations for properties, their links and related connections between semantic and syntactic ones, both in general and as characterizations for subalgebras, congruence relations, Henkin construction, Tarski-Vaught test, some graphs, and graded structures. Traces for types and related objects are studied, too.