Вариации жесткости для упорядоченных теорий

Abstract

One of the important characteristics of structures is degrees of semantic and syntactic rigidity, as well as indices of rigidity, showing how much the given structure differs from semantically rigid structures, i.e., structures with one-element automorphism groups, as well as syntactically rigid structures, i.e., structures covered by definable closure of the empty set. Issues of describing the degrees and indices of rigidity represents interest both in a general context and in relation to ordering theories and their models. In the given paper, we study possibilities for semantic and syntactic rigidity for ordered theories, i.e., the rigidity with respect to automorphism group and with respect to definable closure. We describe values for indices and degrees of semantic and syntactic rigidity for well-ordered sets, for discrete, dense, and mixed orders and for countable models of $\aleph_0$-categorical weakly o-minimal theories. All possibilities for degrees of rigidity for countable linear orderings are described.