|
This article is cited in 14 scientific papers (total in 15 papers)
Algebras of Distributions of Binary Isolating Formulas for Quite $o$-Minimal Theories
D. Yu. Emel'yanovab, B. Sh. Kulpeshovacd, S. V. Sudoplatovbea a Institute of Mathematics and Mathematical Modeling, Ministry of Education and Science, Republic of Kazakhstan
b Novosibirsk State Technical University
c Kazakh-British Technical University
d International Information Technology University
e Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
Algebras of distributions of binary isolating formulas over a type for quite $o$-minimal theories with nonmaximal number of countable models are
described. It is proved that an isomorphism of these algebras for two $1$-types is characterized by the coincidence of convexity ranks and also by simultaneous satisfaction of isolation, quasirationality, or irrationality of those types. It is shown that for quite $o$-minimal theories with nonmaximum many countable models, every algebra of distributions of binary isolating formulas over a pair of nonweakly orthogonal types is a generalized commutative monoid.
Keywords:
quite o-minimal theory, countable model, convexity rank, algebras of distributions of binary isolating formulas, generalized commutative monoid.
Received: 05.04.2017 Revised: 16.01.2018
Citation:
D. Yu. Emel'yanov, B. Sh. Kulpeshov, S. V. Sudoplatov, “Algebras of Distributions of Binary Isolating Formulas for Quite $o$-Minimal Theories”, Algebra Logika, 57:6 (2018), 662–683; Algebra and Logic, 57:6 (2019), 429–444
Linking options:
https://www.mathnet.ru/eng/al873 https://www.mathnet.ru/eng/al/v57/i6/p662
|
|