A.D.~Taimanov and model theory in Kazakhstan

B. S. Baizhanov ; B. Sh. Kulpeshov ; T. S. Zambarnaya

Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. А.1-А.58.

Résumé

The article gives an overview of the development of model theory in Kazakhstan over the past 60 years from the standpoint of the tasks that stood at that time. We consider directions that naturally arose from the definition of truth in a model and under the influence of Doctor of Physical and Mathematical Sciences, Academician A. Taimanov, initiator of the growth of model theory in Kazakhstan.

Détail

Keywords: A.D. Taimanov, history of model theory, Kazakhstan.

Bibliographie

[1] A. Alibek, B.S. Baizhanov, B.Sh. Kulpeshov, T.S. Zambarnaya, “Vaught’s conjecture for weakly o-minimal theories of convexity rank 1”, Annals of Pure and Applied Logic, 169:11 (2018), 1190–1209 | MR | Zbl

[2] A.A. Alibek, B.S. Baizhanov, T.S. Zambarnaya, “Discrete order on a definable set and the number of models”, Mathematical Journal, 14:3 (2014), 5–13 | Zbl

[3] Zh.A. Almagambetov, “On classes of axioms closed under given reduced products and powers”, Algebra and Logic Sem., 4:3 (1965), 71–79 (In Russian) | MR

[4] A. Al'dzhuie, E.R. Baisalov, “Linearly minimal Jordan algebras of characteristic other than 2”, Algebra and Logic, 54:6 (2016), 421–427 | MR

[5] R.D. Aref'ev, “$K_{(H,|A|-e(A), \leq)}$-homogeneous-universal graphs”, Proceeding of informatics and control problems institute, eds. M. B. Aidarkhanov, B. S. Baizhanov, Almaty, 1995, 27–40 (In Russian) | MR

[6] R.D. Aref'ev, “On monotonicity for weakly o-minimal structures”, Algebra and Model Theory, eds. A. G. Pinus, K. N. Ponomaryov, Novosibirsk, 1997, 8–15 (In Russian) | MR

[7] R.D. Aref'ev, J.T. Baldwin, M. Mazzucco, “Classification of $\delta$-Invariant Amalgamation Classes”, The Journal of Symbolic Logic, 64:4 (1999), 1743–1750 | MR | Zbl

[8] J. Ax, S. Kochen, “Diophantine problems over local fields”, American Journal of Mathematics, 87 (1965), 605–630 | MR | Zbl

[9] K.A. Baikalova, D.Yu. Emel’yanov, B.Sh. Kulpeshov, E.A. Palyutin, S.V. Sudoplatov, “On Algebras of Distributions of Binary Isolating Formulas for Theories of Abelian Groups and Their Ordered Enrichments”, Russian Mathematics, 62:4 (2018), 1–12 | MR | Zbl

[10] Y. Baisalov, B. Poizat, “Pairs of O-minimal structures”, Journal of Symbolic Logic, 63:2 (1998), 570–578 | MR | Zbl

[11] E.R. Baisalov, K.A. Meirembekov, A.T. Nurtazin, “Definably-minimal models”, Model theory in Kazakhstan, ed. M. M. Erimbetov, EcoStudy, Almaty, 2006, 140–157 (In Russian) | MR

[12] E.R. Baisalov, “Linear minimal rings and algebras”, Algebra and Logic, 51:2 (2012), 105–110 | MR | Zbl

[13] E.R. Baisalov, “Linearly minimal Lie algebras”, Siberian Mathematical Journal, 54:2 (2013), 212–216 | MR | Zbl

[14] B.S. Baizhanov, Totally transcendental theories of rank 2 having dimension, By the decision of the Editorial Board of the Siberian Mathematical Journal dated March 21, 1980, deposited at VINITI under No 3893–80D from 08/26/1980, 24 pp. (In Russian) | MR

[15] B.S. Baizhanov, “Some properties of totally transcendental theories”, Model theory and its applications, ed. M. A. Taitslin, Kazakh State University, Alma-Ata, 1980, 14–24 (In Russian) | MR

[16] B.S. Baizhanov, “Spectral questions of totally transcendental theories of finite rank”, Model theory and its applications, ed. M. A. Taitslin, Kazakh State University, Alma-Ata, 1980, 25–44 (In Russian) | MR

[17] B.S. Baizhanov, “On two Hodges hypotheses”, Abstracts of the International Conference on Algebra (Novosibirsk, 1989), 56 (In Russian) | Zbl

[18] B.S. Baizhanov, “Connected type and dop in totally transcendental theories”, Model-Theoretic Algebra, ed. A. I. Omarov, Kazakh State University publishing house, Alma-Ata, 1989, 3–11 (in Russian) | MR

[19] B.S. Baizhanov, “Automorphism Groups and coordinateability”, Reports of the Soviet-French colloquium on model theory (Karaganda, 1990), 5–8 (In Russian) | MR

[20] B.S. Baizhanov, “Expansions of o-minimal structures by convex unary predicates”, Research in the theory of algebraic systems, dedicated to memory of T.G. Mustafin, ed. T. A. Nurmagambetov, Karaganda State University, 1995, 6–24 (In Russian)

[21] B.S. Baizhanov, “Expansion of a model of a weakly o-minimal theory by a family of unary predicates”, The Journal of Symbolic Logic, 66 (2001), 1382–1414 | MR | Zbl

[22] B.S. Baizhanov, “Definability of 1-types in weakly o-minimal theories”, Mathematical works, 8:2 (2005), 3–38 (In Russian) | MR | Zbl

[23] B.S. Baizhanov, “Definiability of 1-Types in Weakly O-Minimal Theories”, Siberian advances in mathematics, 16:2 (2006), 1–33 | MR

[24] B.S. Baizhanov, “Conservative extensions of models of weakly o-minimal theories”, Bulletin of Novosibirsk State University, 7:3 (2007), 13–44 (In Russian) | MR

[25] B.S. Baizhanov, “O-minimal extensions and unary functions”, Mathematical journal, 7:1 (2007), 31–35 | MR | Zbl

[26] B.S. Baizhanov, J.T. Baldwin, “Local Homogeneity”, The Journal of Symbolic Logic, 69:4 (2004), 1243–1260 | MR | Zbl

[27] B.S. Baizhanov, J.T. Baldwin, S. Shelah, “Subsets of Superstable Structures are weakly benign”, The Journal of Symbolic Logic, 70:1 (2005), 142–150 | MR | Zbl

[28] B. Baizhanov, J.T. Baldwin, V. Verbovskiy, “Cayley’s theorem for ordered groups: o-minimality”, Siberian Electronic Mathematical Reports, 5 (2007), 278–281 | MR

[29] B.S. Baizhanov, T.Sh Kalmenov, “The conference “Contemporary problems of pure and applied mathematics” dedicated to the centenary of the birth of A. D. Taimanov”, Siberian Electronic Mathematical Reports, 14 (2017), A.66–A.68 | MR

[30] B.S. Baizhanov, B.Sh. Kulpeshov, “On behaviour of 2-formulas in weakly o-minimal theories”, Mathematical Logic in Asia, Proceedings of the 9th Asian Logic Conference, eds. S. Goncharov, R. Downey, H. Ono, World Scientific, Singapore, 2006, 31–40 | MR | Zbl

[31] B.S. Baizhanov, S.V. Sudoplatov, V.V. Verbovskiy, “Conditions for non-symmetric relations of semi-isolation”, Siberian Electronic Mathematical Reports, 9 (2012), 161–184 | MR | Zbl

[32] B.S. Baizhanov, V.V. Verbovskiy, “Ordered stable theories”, Algebra and Logic, 50:3 (2011), 303–325 (In Russian) | MR | Zbl

[33] B. Baizhanov, V. Verbovskiy, “On definability of 1-types in ordered stable theories”, Mathematical Journal, 15:4 (2015), 5–15 (In Russian)

[34] B. Baizhanov, J.T. Baldwin, T. Zambarnaya, “Finding $2^\omega$ countable models for ordered theories”, Siberian Electronic Mathematical Reports, 15 (2018), 719–727 | MR | Zbl

[35] S.S. Baizhanov, B.Sh. Kulpeshov, “Expanding 1-indiscernible countably categorical weakly o-minimal theories by equivalence relations”, Siberian Electronic Mathematical Reports, 15 (2018), 106–114 | MR | Zbl

[36] S.S. Baizhanov, B.Sh. Kulpeshov, “Preservation of $\omega$-categoricity in expanding the models of weakly o-minimal theories”, Siberian Mathematical Journal, 59:2 (2018), 207–216 | MR | Zbl

[37] S.S. Baizhanov, B.Sh. Kulpeshov, “On expansions of models of weakly o-minimal theories by binary predicates”, Siberian Electronic Mathematical Reports, 16 (2019), 673–682 | MR | Zbl

[38] J. T. Baldwin, “$\alpha_T$ is finite for $\aleph_1$-categorical $T$”, Transactions of the American Mathematical Society, 181 (1973), 37–51 | MR | Zbl

[39] J.T. Baldwin, “The number of automorphisms of models of $\aleph_1$-categorical theories”, Fundamenta Mathematicae, 83:1 (1973), 1–16 | MR

[40] J.T. Baldwin, Fundamentals of Stability Theory, Springer-Verlag, Berlin, 1988 | MR | Zbl

[41] J.T. Baldwin, M. Benedikt, “Stability theory, permutations of indiscernibles, and embedded finite models”, Translations of the American Mathematical Society, 352 (2000), 4937–4969 | MR | Zbl

[42] J.T. Baldwin, A.H. Lachlan, “On strongly minimal sets”, The Journal of Symbolic Logic, 36 (1971), 70–96 | MR

[43] J.T. Baldwin, K. Holland, “Constructing $\omega$-stable structures: Model completeness”, Annals of Pure and Applied Logic, 125 (2004), 159–172 | MR | Zbl

[44] M.I. Bekenov, “Properties of Elementary Embeddability in Model Theory”, Journal of Mathematical Sciences, 230 (2018), 10–13 | MR

[45] M.I. Bekenov, T.G. Mustafin, “On rank functions and definable and nonsplittable types in stable theories”, Dokl. Akad. Nauk SSSR, 245 (1979), 777–780 (In Russian) | MR | Zbl

[46] M.I. Bekenov, T.G. Mustafin, “Properties of nonsplittable types in stable theories”, Siberian Mathematical Journal, 22:1 (1981), 27–34 (In Russian) | MR | Zbl

[47] I. Ben-Yaacov, A. Pillay, E. Vassiliev, “Lovely pairs of models”, Annals of Pure and Applied Logic, 122 (2003), 235–261 | MR | Zbl

[48] A. Berenstein, E. Vassiliev, “On lovely pairs of geometric structures”, Annals of Pure and Applied Logic, 161:7 (2010), 866–878 | MR | Zbl

[49] A. Berenstein, E. Vassiliev, “Weakly one-based geometric theories”, Journal of Symbolic Logic, 77:2 (2012), 392–422 | MR | Zbl

[50] A. Berenstein, E. Vassiliev, “Generic trivializations of geometric theories”, Mathematical Logic Quarterly, 60:4–5 (2014), 289–303 | MR | Zbl

[51] R. Berthiaume, “The injective envelope of S-sets”, Canad. Math. Bull., 10 (1967), 261–273 | MR | Zbl

[52] V.S. Bogomolov, T.G. Mustafin, “Description of commutative monoids, all polygons over which are $\omega$-stable”, Algebra and Logic, 28:4 (1989), 371–381 (In Russian) | MR | Zbl

[53] E. Bouscaren, “Dimensional order property and pairs of models”, Annals of Pure and Applied Logic, 41 (1989), 205–231 | MR | Zbl

[54] E. Bouscaren, B. Poizat, “Des belles paires aux beaux uples”, The Journal of Symbolic Logic, 53:2 (1988), 434–442 | MR | Zbl

[55] T. Button, S. Walsh, Philosophy and Model Theory, with historical appendix by Wilfrid Hodges, Short history of Model Theory, Oxford University Press, 2018 | MR | Zbl

[56] S. Burris, “Boolean powers”, Alg. Uinv., 5 (1975), 341–360 | MR | Zbl

[57] E. Casanovas, M. Ziegler, “Stable theories with a new predicate”, The Journal of Symbolic Logic, 66 (2001), 1127–1140 | MR | Zbl

[58] S.S. Shang, “On the unions of chains of models”, Proceedings of the American Mathematical Society, 10:1 (1959), 120–127 | MR

[59] G. Cherlin, L. Harrington, A. H. Lachlan, “$\aleph_0$-categorical, $\aleph_0$-stable structures”, Annals of Pure and Applied Logic, 28:2 (1985), 103–135 | MR | Zbl

[60] V.P. Dobritsa, “Number of computable indexations of finite classes of constructive models”, Mathematical Notes, 40:1 (1986), 93–97 (In Russian) | MR | Zbl

[61] V.P. Dobritsa, “Computable classes of constructive models with not limit equivalent indexations”, Mathematical Notes, 46:4 (1989), 8–13 (In Russian) | MR | Zbl

[62] V.P. Dobritsa, “Effective infinity conditions of the set of computable indexations of the class of constructive models”, Siberian Mathematical Journal, 35:1 (1994), 66–69 (In Russian) | MR | Zbl

[63] V.P. Dobritsa, “On computability of the set of computable indexations of the class of constructive models”, Mathematical Notes, 55:5 (1994), 43–50 (in Russian) | MR | Zbl

[64] V.P. Dobritsa, V.P. Nurtazin, N.G. Khisamiev, “Constructive periodic abelian gourps”, Siberian Mathematical Journal, 19:6 (1978), 886–890 | MR | Zbl

[65] L. van den Dries, “Remarks on Tarski's problem concerning $(R,+, \cdot, exp)$”, Logic Colloquium '82, North-Holland, 1984, 97–121 | MR

[66] L. van den Dries, Tame topology and o-minimal structures, Cambridge University Press, 1998 | MR | Zbl

[67] L. van den Dries, A. Macintyre, D. Marker, “Logarithmic-exponential power series”, Journal of the London Mathematical Society, 56:3 (1997), 417–434 | MR | Zbl

[68] A. Ehrenfeucht, “Applications of games to the completeness problem”, Pund. Math., XLIX:2 (1961), 129–141 | MR | Zbl

[69] D.Yu. Emel’yanov, B.Sh. Kulpeshov, S.V. Sudoplatov, “Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures”, Algebra and Logic, 56:1 (2017), 13–36 | MR | Zbl

[70] D.Yu. Emel’yanov, B.Sh. Kulpeshov, S.V. Sudoplatov, “Algebras of distributions of binary isolating formulas for quite o-minimal theories”, Algebra and Logic, 57:6 (2019), 429–444 | MR | Zbl

[71] Ehrenfeucht-Fraïssé games. History of the Ehrenfeucht-Fraïssé games, The Math Explorers' Club http://pi.math.cornell.edu/m̃ec/Summer2009/Raluca/lesson1.html

[72] M.M. Erimbetov, “On complete theories with 1-cardinal formulas”, Algebra and Logic, 14:3 (1975), 245–257 (In Russian) | MR | Zbl

[73] M.M. Erimbetov, “On the expressive power of software logics”, Studies in theoretical programming, ed. M. A. Taitslin, Kazakh University Press, Alma-Ata, 1981, 49–68 | MR

[74] M.M. Erimbetov, “Connection of cardinalities of definable subsets with stability of formulas”, Algebra and Logic, 24:6 (1985), 627–630 (In Russian) | MR | Zbl

[75] Yu.L. Ershov, “On elementary theory of maximal normalized fields”, Reports of the USSR Academy of Sciences, 165:1 (1965), 21–23 (in Russian) | MR | Zbl

[76] Yu.L. Ershov, Decidability Problems and Constructive Models, Nauka, M., 1980 (In Russian) | MR

[77] Yu.L. Ershov, I.A. Lavrov, A.D. Taimanov, M.A. Taitslin, “Elementary theories”, Uspekhi Matematicheskikh Nauk, 20:4(124) (1965), 37–108 (in Russian) | MR | Zbl

[78] R. Fraïssé, Sur le classifications des systems de relations, Publications Sc. de l'Université D'Alger I, 1, 1954 | MR

[79] K. Gödel, “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”, Monatshefte für Mathematik und Physik, 38:1 (1931), 173–198 | MR

[80] S.S. Goncharov, “Autostability and computable families of constructivizations”, Algebra and Logic, 14:6 (1975), 647–680 (In Russian) | MR | Zbl

[81] S.S. Goncharov, A.T. Nurtazin, “Constructive models of complete decidable theories”, Algebra and Logic, 12:2 (1973), 125–142 (in Russian) | MR | Zbl

[82] Yu. Gurevich, “Modest theory of short chains. I”, The Journal of Symbolic Logic, 44:4, 481–490 | MR | Zbl

[83] W. Hanf, “Model-theoretical methods in the study of elementary logic”, Symposium on the Theory of Models, North-Holland, Amsterdam, 1965, 33–46 | MR

[84] W. Hanf, “The Boolean algebra of Logic”, Bulletin of the American Mathematical Society, 31 (1975), 587–589 | MR

[85] L. Harrington, “Recursively presentable prime models”, The Journal of Symbolic Logic, 39:2 (1974), 305–309 | MR | Zbl

[86] B. Hart, E. Hrushovski, M.S. Laskowski, “The uncountable spectra of countable theories”, Annals of Mathematics, 152:1 (2000), 207–257 | MR | Zbl

[87] B.Herwig, H.D.Macpherson, G.Martin, A.Nurtazin, J.K.Truss, “On $\aleph_0$-categorical weakly o-minimal structures”, Annals of Pure and Applied Logic, 101:1 (2000), 65–93 | MR | Zbl

[88] W. Hodges, Model Theory, Cambridge University Press, 1997 | MR | Zbl

[89] E. Hrushovski, “Strongly minimal expansions of algebraically closed fields”, Israel Journal of Mathematics, 79 (1992), 129–151 | MR | Zbl

[90] E.Hrushovski, “A new strongly minimal set”, Annals of Pure and Applied Logic, 62:2 (1993), 147–166 | MR | Zbl

[91] E.Hrushovski, “The Mordell-Lang conjecture for functional fields”, Journal of American Mathematical Society, 9:3 (1996), 667–690 | MR | Zbl

[92] E. Hrushovski, “The Manin-Mumford conjecture and the model theory of difference fields”, Annals of Pure and Applied Logic, 112:1 (2001), 43–115 | MR | Zbl

[93] E. Hrushovski, A. Pillay, “Groups definable in local fields and pseudo-finite fields”, Israel Journal of Mathematics, 85:1–3 (1994), 203–262 | MR | Zbl

[94] H.J. Keisler, “Ultraproducts and elementary models”, Indagationes Mathematicae, 23 (1961), 477–495 | MR

[95] H.J. Keisler, “Reduced products and Horn classes”, Transactions of the American Mathematical Society, 117 (1965), 53–62 | MR

[96] H.J. Keisler, “Ultraproducts which are not saturated”, Journal of Symbolic Logic, 32:1 (1967), 23–46 | MR | Zbl

[97] O. Kharlampovich, A. Myasnikov, “Elementary theory of free non-abelian groups”, Journal of Algebra, 302:2, 451–552 | MR | Zbl

[98] N.G. Khisamiev, “Strongly constructive models of decidable theories”, Bulletin of KazSSR Academy of Sciences, Physical-Mathematical series, 1 (1974), 83–84 (In Russian) | MR

[99] N.G. Khisamiev, “Hierarchy of torsion-free abelian groups”, Algebra and Logic, 25:2 (1986), 205–226 (In Russian) | MR | Zbl

[100] N.G. Khisamiev, “Non-constructivizability of some ordered fields of real numbers”, Siberian Mathematical Journal, 25:3 (1987), 193–195 (In Russian) | MR

[101] N.G. Khisamiev, “Constructive Abelian groups”, Reports of the USSR Academy of Sciences, 313:6 (1990), 1365–1367 (In Russian) | MR

[102] N.G. Khisamiev, “Constructive Abelian groups”, Handbook of Recursive Mathematics, Studies in logic and the foundations of Mathematics, 139, 1998, 1177–1232 | MR

[103] N.G. Khisamiev, V.A. Roman'kov, “Sonstructive Matrix and Orderable Groups”, Algebra and Logic, 3:43 (2004), 198–204 | MR | Zbl

[104] N.G. Khisamiev, V.A. Roman'kov, “Sonstructible Matrix Groups”, Algebra and Logic, 5:43 (2004), 339–345 | MR | Zbl

[105] Yu.I. Khmelevsky, “Equations in a free semigroup”, Proceedings of the Steklov Institute of Mathematics, 107 (1971), 3–288 (in Russian)

[106] Yu.I. Khmelevsky, “Systems of equations in a free semigroup. I”, Proceedings of the USSR Academy of Sciences. Mathematical series, 35:6 (1971), 1237–1268 (in Russian) | MR

[107] Yu.I. Khmelevsky, “Systems of equations in a free semigroup. II”, Proceedings of the USSR Academy of Sciences. Mathematical series, 36:1 (1972), 110–179 (in Russian)

[108] J. Knight, A. Pillay, Ch. Steinhorn, “Definable sets in ordered structures II”, Transactions of the American Mathematical Society, 295 (1986), 593–605 | MR | Zbl

[109] K.Zh. Kudaibergenov, “A theory with two strongly constructivizable models”, Algebra and Logic, 18:2 (1979), 176–185 (In Russian) | MR

[110] K.Zh. Kudaibergenov, “On constructive models of undecidable theories”, Siberian Mathematical Journal, 21:5 (1980), 155–158 (In Russian) | MR

[111] K.Zh. Kudaibergenov, “On efficiently homogeneous models”, Siberian Mathematical Journal, 27:1 (1986), 180–182 (In Russian) | MR

[112] K.Zh. Kudaibergenov, “On Shelah hypothesis”, Algebra and Logic, 26:2 (1987), 191–203 (In Russian) | MR

[113] K.Zh. Kudaibergenov, “On the number of homogeneous models of a complete theory”, Proceedings of the Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences, 8 (1988), 77–92 (In Russian) | MR | Zbl

[114] K.Zh. Kudaibergenov, “On the number of homogeneous models of totally transcendental nonmultidimensional theories”, Algebra and Logic, 30:1 (1991), 48–73 (In Russian) | MR

[115] K.Zh. Kudaibergenov, “Homogeneous models of stable theories”, Siberian Advances in Mathematics, 3:1 (1993), 1–33 | MR

[116] K.Zh. Kudaibergenov, “Homogeneous models of unidimensional theories”, Algebra and Logic, 34:1 (1995), 61–78 (In Russian) | MR

[117] K.Zh. Kudaibergenov, “Homogeneous models of some weakly minimal theories”, Siberian Mathematical Journal, 40:6 (1999), 1253–1259 (In Russian) | MR

[118] K.Zh. Kudaibergenov, “Homogeneous models and generic extension”, Siberian Mathematical Journal, 41 (2000), 811–821 (In Russian) | MR

[119] K.Zh. Kudaibergenov, “On the fixed field of a generic automorphism”, Mathematical works, 4:1 (2001), 25–35 (In Russian) | MR

[120] K.Zh. Kudaibergenov, “Homogeneous models of locally modular theories of finite rank”, Mathematical works, 5:1 (2002), 74–83 (In Russian) | MR

[121] K.Zh. Kudaibergenov, “Homogeneous models and stable diagrams”, Siberian Mathematical Journal, 43:5 (2002), 1064–1076 (In Russian) | MR

[122] K.Zh. Kudaibergenov, “Generic automorphisms”, Mathematical works, 6:1 (2003), 1–23 (In Russian) | MR

[123] K.Zh. Kudaibergenov, “Homogeneity in modules”, Mathematical works, 7:1 (2004), 83–90 (In Russian) | MR | Zbl

[124] K.Zh. Kudaibergenov, H.D. Macpherson, “On model companions for structures with an automorphism”, Siberian Advances in Mathematics, 16:4 (2006), 1–15 | MR

[125] K.Zh. Kudaibergenov, “Small extensions of o-minimal theories and absolute homogeneity”, Mathematical works, 10:1 (2007), 154–163 (In Russian) | MR | Zbl

[126] K.Zh. Kudaibergenov, “On homogeneity and small extensions of models of the theory of linear ordering”, Mathematical works, 11:2 (2008), 148–158 (In Russian) | MR | Zbl

[127] K.Zh. Kudaibergenov, “Preservation and violation of homogeneity of models under a special expansion”, Mathematical works, 12:1 (2009), 117–129 (In Russian) | MR | Zbl

[128] K.Zh. Kudaibergenov, “Weakly quasi-o-minimal models”, Mathematical works, 13:1 (2010), 156–168 (In Russian) | MR

[129] K.Zh. Kudaibergenov, “On the independence property of first order theories and indiscernible sequences”, Mathematical works, 14:1 (2011), 126–140 (In Russian) | MR | Zbl

[130] K.Zh. Kudaibergenov, “Generalized o-minimality for partial orders”, Mathematical works, 15:1 (2012), 86–108 (in Russian) | MR | Zbl

[131] K.Zh. Kudaibergenov, “Existence of a countable infinite strictly 2-homogeneous distributive lattice”, Mathematical works, 15:2 (2012), 100–104 (In Russian) | MR | Zbl

[132] K.Zh. Kudaibergenov, “On dense free subgroups of the automorphism group”, Mathematical works, 16:1 (2013), 56–62 (In Russian) | MR | Zbl

[133] K.Zh. Kudaibergenov, “$C$-minimality and model companions”, Mathematical works, 16:2 (2013), 89–94 (In Russian) | MR | Zbl

[134] K.Zh. Kudaibergenov, “On the independence property and atomic formulas”, Siberian Electronic Mathematical Reports, 10 (2013), 38–40 (In Russian) | MR | Zbl

[135] K. Kudaibergenov, “Generalized o-minimality for partial orders”, Siberian Advances in Mathematics, 23:1 (2013), 47–60 | MR

[136] Siberian Advances in Mathematics, 25:3 (2015), 206–208 | MR | Zbl

[137] Siberian Advances in Mathematics, 26:3 (2016), 190–195 | MR | Zbl

[138] Siberian Advances in Mathematics, 27:1 (2017), 1–15 | MR | Zbl

[139] Siberian Advances in Mathematics, 28:1 (2018), 60–64 | MR | Zbl

[140] Siberian Advances in Mathematics, 29:1 (2019), 44–56 | MR | MR | Zbl

[141] Siberian Advances in Mathematics | MR | Zbl

[142] B.Sh. Kulpeshov, H.D. Macpherson, “Minimality conditions on circularly ordered structures”, Mathematical Logic Quarterly, 51 (2005), 377–399 | MR | Zbl

[143] B.Sh. Kulpeshov, “Completeness of the theory of elementary pairs of strongly minimal quasi-urban structures”, News of National Academy of Sciences of the Republic of Kazakhstan, physical-mathematical series, 3 (1995), 52–56 (In Russian) | MR

[144] B.Sh. Kulpeshov, “Weakly o-minimal structures and some of their properties”, The Journal of Symbolic Logic, 63 (1998), 1511–1528 | MR | Zbl

[145] B.Sh. Kulpeshov, “The property of being binary for $\aleph_0$-categorical weakly o-minimal theories”, Algebra and Logic, 44:4 (2005), 256–263 | MR | Zbl

[146] B.Sh. Kulpeshov, “Binarity of $\aleph_0$-categorical weakly o-minimal theories of convexity rank 1”, Siberian Electronic Mathematical Reports, 3 (2006), 185–196 (In Russian) | MR | Zbl

[147] B.Sh. Kulpeshov, “On $\aleph_0$-categorical weakly circularly minimal structures”, Mathematical Logic Quarterly, 52:6 (2006), 555–574 | MR | Zbl

[148] B.Sh. Kulpeshov, “Criterion for binarity of $\aleph_0$-categorical weakly o-minimal theories”, Annals of Pure and Applied Logic, 145:3 (2007), 354–367 | MR | Zbl

[149] B.Sh. Kulpeshov, “Definable functions in the $\aleph_0$-categorical weakly circularly minimal structures”, Siberian Mathematical Journal, 50:2 (2009), 282–301 | MR | Zbl

[150] B.Sh. Kulpeshov, “Binary types in $\aleph_0$-categorical weakly o-minimal theories”, Mathematical Logic Quarterly, 57:3 (2011), 246–255 | MR | Zbl

[151] B.Sh. Kulpeshov, “Countably categorical quite o-minimal theories”, Bulletin of NSU. Series: Mathematics, Mechanics, Computer Science, 11:1 (2011), 45–57 (In Russian) | MR | Zbl

[152] B.Sh. Kulpeshov, “On self-definable subsets of $\aleph_0$-categorical weakly o-minimal structures”, Siberian Electronic Mathematical Reports, 9 (2012), 433–438 | MR | Zbl

[153] B.Sh. Kulpeshov, “Countably categorical quite o-minimal theories”, Journal of Mathematical Sciences, 188:4 (2013), 387–397 | MR | Zbl

[154] B.Sh. Kulpeshov, “On indiscernibility of a set in circularly ordered structures”, Siberian Electronic Mathematical Reports, 12 (2015), 255–266 | MR | Zbl

[155] B.Sh. Kulpeshov, “On almost binarity in weakly circularly minimal structures”, Eurasian Mathematical Journal, 7:2 (2016), 38–49 | MR

[156] B.Sh. Kulpeshov, “Countably categorical weakly o-minimal structures of finite convexity rank”, Siberian Mathematical Journal, 57:4 (2016), 606–617 | MR | Zbl

[157] B.Sh. Kulpeshov, “Maximality of the countable spectrum in small quite o-minimal theories”, Algebra and Logic, 58:2 (2019), 137–143 | Zbl

[158] B.Sh. Kulpeshov, A.B. Altaeva, “Binary formulas in countably categorical weakly circularly minimal structures”, Algebra and Logic, 55:3 (2016), 226–241 | MR | Zbl

[159] B.Sh. Kulpeshov, S.V. Sudoplatov, “Ranks and approximations for families of ordered theories”, Collection of papers, Algebra anbd Model Theory, 12, NSTU, Novosibirsk, 2019, 32–40

[160] B.Sh. Kulpeshov, S.V. Sudoplatov, “$P$-combinations of ordered theories”, Lobachevskii Journal of Mathematics, 41:2 (2020), 83–93

[161] B.Sh. Kulpeshov, S.V. Sudoplatov, “Vaught’s conjecture for quite o-minimal theories”, Annals of Pure and Applied Logic, 168:1 (2017), 129–149 | MR | Zbl

[162] B.Sh. Kulpeshov, S.V. Sudoplatov, “Linearly ordered theories which are nearly countably categorical”, Mathematical Notes, 101:3 (2017), 475–483 | MR | Zbl

[163] B.Sh. Kulpeshov, S.V. Sudoplatov, “On freedom and independence in hypergraphs of models of theories”, Siberian Electronic Mathematical Reports, 15 (2018), 612–630 | MR | Zbl

[164] B.Sh. Kulpeshov, S.V. Sudoplatov, “On relative separability in hypergraphs of models of theories”, Eurasian Mathematical Journal, 9:4 (2018), 68–78 | MR

[165] B.Sh. Kulpeshov, V.V. Verbovskiy, “On weakly circularly minimal groups”, Mathematical Logic Quarterly, 61:1–2 (2015), 82–90 | MR | Zbl

[166] A. Lachlan, “On the number of countable models of a countable superstable theory”, Proc. Int. Conf. Logic, Methodology and Philosophy of Sciences, North-Holland, Amsterdam, 1973, 45–56 | MR

[167] A. Lachlan, “Theories with a finite number of models in an uncountable power are categorical”, Pacific Journal of Mathematics, 61:2 (1975), 465–481 | MR | Zbl

[168] A. Lachlan, “Dimension and totally transcendental theories of rank 2”, Lecture Notes in Mathematics, 537, 1976, 153–183 | MR | Zbl

[169] A. Lachlan, “Spectra of $\omega$-stable theories”, Z. math. Logik Grundl. Math., 24 (1978), 129–139 | MR | Zbl

[170] D. Lascar, B. Poizat, “An introduction to forking”, The Journal of Symbolic Logic, 44 (1979), 330–350 | MR | Zbl

[171] I.V. Latkin, “Algorithmic complexity of problems of entering commutants and members of the lower central row”, Siberian Mathematical Journal, 28:5 (1987), 102–110 (In Russian) | MR

[172] I.V. Latkin, “Algorithmic hierarchy of nilpotent torsion-free groups”, Algebra and Logic, 35:3 (1996), 308–313 (In Russian) | MR | Zbl

[173] I.V. Latkin, “On constructivizability of the tensor product of modules”, Siberian Mathematical Journal, 43:2 (2002), 414–418 (In Russian) | MR | Zbl

[174] “Logic and Games”, chapter Back-and-forth Games, Stanford Encyclopedia of Philosophy, 2019 https://plato.stanford.edu/entries/logic-games/#BacForGam | MR

[175] J. Łoś, “On the categoricity in power of elementary deductive systems and some related problems”, Colloquium Mathematicum, 3 (1954), 58–62 | MR | Zbl

[176] J. Łoś, “Quelques remarques, theorems et problemes sur les classes definissable d’algebres”, Mathematical Interpretation of Formal System, eds. Th. Skolem et al., North-Holland, Amsterdam, 1955, 98–131 | MR

[177] D. Macpherson, D. Marker, Ch. Steinhorn, “Weakly o-minimal structures and real closed fields”, Translations of the American Mathematical Society, 352 (2000), 5435–5483 | MR | Zbl

[178] G. Makanin, “The problem of decidability of equations in a free semigroup”, Mathematics of the USSR — Sbornik, 32:2 (1977), 129–198 | MR | Zbl

[179] G. Makanin, “Equations in a free group”, Proceedings of the USSR Academy of Sciences, Mathematical series, 46:6 (1982), 1199–1273 (in Russian) | MR | Zbl

[180] G. Makanin, “Decidability of the universal and positive theories of a free group”, Proceedings of the USSR Academy of Sciences, Mathematical series, 48:4 (1984), 735–749 (in Russian) | MR

[181] A. Malcev, “Untersuchungen aus dem Gebiete der mathematischen Logik”, Rec. Math. [Mat. Sbornik] N.S., 1(43):3 (1936), 323–336 | Zbl

[182] A.I. Mal'tsev, “A general method for obtaining local theorems of group theory”, Scientific notes of the Ivanovo State Pedagogical Institute, 1 (1941), 3–9 (In Russian) | MR

[183] A.I. Mal'tsev, “Constructive algebras. I”, Russian Mathematical Surveys, 16:3(99) (1961), 3–60 (in Russian) | Zbl

[184] A.I. Mal'tsev, “Undecidability of the elementary theory of finite groups”, Reports of the USSR Academy of Sciences, 138:4 (1961), 771–774 (in Russian) | MR | Zbl

[185] A.I. Mal'tsev, “Axiomatizable classes of locally free algebras of various types”, Siberian Mathematical Journal, 3 (1962), 729–743 (In Russian) | MR | Zbl

[186] D. Marker, “Omitting types in o-minimal theories”, The Journal of Symbolic Logic, 51 (1986), 63–74 | MR | Zbl

[187] N.D. Markhabatov, S.V. Sudoplatov, “Algebras for definable families of theories”, Siberian Electronic Mathematical Reports, 16 (2019), 600–608 | MR | Zbl

[188] N.D. Markhabatov, “Ranks for families pf permutation theories”, The Bulletin of Irkutsk State University. Series mathematics, 28 (2019), 85–94 | MR | Zbl

[189] N.D. Markhabatov, “Pseudofiniteness of locally free algebras”, Collection of papers, Algebra and Model Theory, 12, NSTU, Novosibirsk, 2019, 41–47

[190] D. Marker, Ch. Steinhorn, “Definable types in o-minimal theories”, The Journal of Symbolic Logic, 59 (1994), 185–198 | MR | Zbl

[191] L. Mayer, “Vaught’s conjecture for o-minimal theories”, The Journal of Symbolic Logic, 53 (1988), 146–159 | MR | Zbl

[192] K.A. Meirembekov, “Notes on theories of abelian groups with bounded spectrum”, Research on Theoretical programming, KazGU, Alma-Ata, 1980, 80–84 (In Russian) | MR

[193] K.A. Meirembekov, “Spectra of superstable abelian groups”, Model Theory and its Applications, KazGU, Alma-Ata, 1981, 34–42 (in Russian) | MR

[194] K.A. Meirembekov, “Abelian groups do not have f.c.p.”, Model theory, KazGU, Alma-Ata, 1982, 14–19 (in Russian)

[195] K.A. Meirembekov, “Spectra of superstable groups close to abelian”, Algebra and Logic, 1986, 117–122 (in Russian)

[196] K.A. Meirembekov, K.M. Shegirov, “Stable geometric lattices”, Siberian Mathematical Journal, 34:3 (1993), 122–131 (In Russian) | MR

[197] M.D. Morley, “Categoricity in power”, Translations of the American Mathematical Society, 114 (1965), 514–538 | MR | Zbl

[198] M.D. Morley, “The number of countable models”, The Journal of Symbolic Logic, 35 (1970), 14–18 | MR | Zbl

[199] I.Kh. Musikaev, M.A. Taitslin, “On dynamic theories of free algebras”, Mathematics of the USSR — sbornik, 66:2 (1990), 313–327 | MR | Zbl

[200] T.G. Mustafin, “On $(n, l)$-sums of models”, Siberian Mathematical Journal, 9:1 (1968), 116–128 (In Russian) | MR | Zbl

[201] T.G. Mustafin, “On strong base of elementary types of theories”, Siberian Mathematical Journal, 18:6 (1977), 1356–1366 (In Russian) | Zbl

[202] T.G. Mustafin, “On rank functions in stable theories”, Siberian Mathematical Journal, 21:6 (1980), 84–95 (In Russian) | MR | Zbl

[203] T.G. Mustafin, “Theories with a two-cardinal formula”, Algebra and Logic, 19:6 (1980), 676–682 (In Russian) | MR

[204] T.G. Mustafin, “A non-two-cardinal set of stable types”, Mathematical Notes, 27:4 (1980), 515–525 (In Russian) | MR | Zbl

[205] T.G. Mustafin, “On the number of countable models of a countable complete theory”, Algebra and Logic, 20:1 (1981), 69–91 (In Russian) | MR | Zbl

[206] T.G. Mustafin, “Principles of normalization of formulas”, Siberian Mathematical Journal, 22:2 (1981), 158–169 (In Russian) | MR | Zbl

[207] T.G. Mustafin, “On classification of superstable theories by rank functions”, Algebra and Logic, 24:1 (1985), 42–64 (In Russian) | MR | Zbl

[208] T.G. Mustafin, “Stability in the theory of polygons”, Model Theory and Its Applications, 8 (1988), 92–107 (In Russian) | MR

[209] T.G. Mustafin, “New concepts of stability for theories”, Proc. Soviet–French Coll. Model Theory, 1990, 112–125 | MR | Zbl

[210] T.G. Mustafin, “Description of monoids over which all polygons have a $\omega$-stable theory”, Algebra and Logic, 29:6 (1990), 675–695 (In Russian) | MR | Zbl

[211] T.G. Mustafin, “On similarities and proximity of complete theories”, Algebra and Logic, 29:2 (1990), 179–191 (In Russian) | MR | Zbl

[212] T.G. Mustafin, “On similarities of complete theories”, Logic Colloquium'90: ASL Summer Meeting in Helsinki, Association for Symbolic Logic (1993), 259–265 | MR | Zbl

[213] T.G. Mustafin, “Generalized Johnson conditions and a description of generalized Johnson theories of Boolean algebras”, Mathematical works, 1:2 (1998), 135–197 (In Russian) | MR | Zbl

[214] T.G. Mustafin, “The stability theory of polygons”, Translations of the American Mathematical Society-Series 2, 195 (1999), 205–224 | MR

[215] T.G. Mustafin, T.A. Nurmagambetov, “Forking types and rank functions in stable theories”, Algebra and Logic, 21:2 (1982), 138–148 (In Russian) | MR

[216] T.G. Mustafin, T.A. Nurmagambetov, “Separable types and rank functions in stable theories”, Algebra and Logic, 21:2 (1983), 204–218 (In Russian) | MR | Zbl

[217] T.G. Mustafin, B. Poizat, “Polygones”, Mathematical Logic Quarterly, 41:1 (1995), 93–110 | MR | Zbl

[218] T.G. Mustafin, A.D. Taimanov, “Countable models of $\aleph _1$-categorical but not $\aleph _0$-categorical theories”, Algebra and Logic, 9:5 (1970), 338–341

[219] Mycielski J., “A characterisation of arithmetical classes”, Bull. Acad. Polon. Sci, CI. 3, 5:11 (1957), 1025–1027 | MR | Zbl

[220] M.K. Nurizinov, R.K. Tyulybergenov, N.G. Khisamiev, “Computable torsion-free nilpotent groups of finite dimensions”, Siberian Mathematical Journal, 55:3 (2014), 580–591 (In Russian) | MR | Zbl

[221] A.T. Nurtazin, “Strong and weak constructivizations and computable families”, Algebra and Logic, 13:3 (1974), 311–323 (In Russian) | MR | Zbl

[222] A.T. Nurtazin, “Graphs and models with finite chains”, Siberian Electronic Mathematical Reports, 4 (2007), 238–248 | MR | Zbl

[223] A. T. Nurtazin, “Countable infinite existentially closed models of universally axiomatizable theories”, Siberian Advances in Mathematics, 26:2 (2016), 99–125 | MR

[224] A.T. Nurtazin, “Forcing formulas in Fraisse structures and classes”, Algebra and Logic, 57:5 (2018), 368–380 | MR | Zbl

[225] A.T. Nurtazin, “Properties of existentially closed companions”, Algebra and Logic, 57:3 (2018), 211–221 | MR | Zbl

[226] A.I. Omarov, “On Compact Classes of Models”, Algebra and Logic, 6:2 (1967), 49–60 (In Russian) | MR | Zbl

[227] A.I. Omarov, “Filtered products of models”, Algebra and Logic, 6:3 (1967), 77–89 (In Russian) | MR | Zbl

[228] A.I. Omarov, “On $M(\alpha)$ class of models”, Siberian Mathematical Journal, 9:1 (1968), 216–219 (In Russian) | MR | Zbl

[229] A.I. Omarov, “On subsystems of reduced degrees”, Algebra and Logic, 12:1 (1973), 74–82 (In Russian) | MR

[230] A.I. Omarov, “Saturation of boolean algebras”, Siberian Mathematical Journal, 15:6 (1974), 1414–1415 (In Russian) | MR

[231] A.I. Omarov, “On $\Delta_t$-order in elementary theories”, Proceedings of the 5-th Soviet Union Conference on Mathematical Logic (Novosibirsk, 1979), 114 (In Russian) | Zbl

[232] A.I. Omarov, “Elementary theory of $D$-degrees”, Algebra and Logic, 23:5 (1984), 530–537 (In Russian) | MR | Zbl

[233] A.I. Omarov, “On $B$-separable algebras”, Algebra and Logic, 25:3 (1986), 315–325 (In Russian) | MR | Zbl

[234] A.I. Omarov, “Locally finite countably-categorical Horn theories”, Algebra and Logic, 28:4 (1989), 444–453 (in Russian) | MR | Zbl

[235] A.I. Omarov, “Orthogonally complete algebraic system”, Algebra and Logic, 30:2 (1991), 205–213 (In Russian) | MR | Zbl

[236] A.I. Omarov, “Filtered formulas”, Algebra and Logic, 30:6 (1991), 693–704 (In Russian) | MR | Zbl

[237] A.I. Omarov, “Syntactical description of filtered formulas”, Reports of the USSR Academy of Sciences, 139:1 (1991), 58–60 (In Russian) | MR

[238] A.I. Omarov, “Multiplicative formulas”, Algebra and Logic, 32:2 (1993), 139–147 (In Russian) | MR | Zbl

[239] B. Omarov, “Unessential expansions of complete theories”, Algebra and Logic, 22:5 (1983), 542–550 (In Russian) | MR | Zbl

[240] Zh.A. Omarov, “On the variety of lattices defined by the identity of Iqbalunnis”, Algebra and Logic, 27:3 (1988), 305–315 (In Russian) | MR

[241] Zh.A. Omarov, “Characterizable classes of lattices”, Algebra and Logic, 51:3 (2012), 347–357 (In Russian) | MR | Zbl

[242] E.A. Palyutin, “Categorical Horn classes”, Algebra and Logic, 19:5 (1980), 582–614 (in Russian) | MR

[243] E.A. Palyutin, “Structure and spectrum of models of complete theories”, Reference book on mathematical logic, Translation from English, v. I, Model theory, eds. Yu.L. Ershov, A.D. Taimanov, 1982, 320–387 (In Russian)

[244] E.A. Palyutin, “Number of $P$-expansions of abelian groups”, Algebra and Logic, 52:2 (2013), 255–258 (in Russian) | MR | Zbl

[245] E.A. Palyutin, “$P$-stable abelian groups”, Algebra and Logic, 52:5 (2013), 606–631 (in Russian) | MR | Zbl

[246] E.A. Palyutin, “$P$-spectra of abelian groups”, Algebra and Logic, 53:2 (2014), 216–255 (in Russian) | MR | Zbl

[247] M.G. Peretyat'kin, “Strongly constructive models and numerations of the Boolean algebra of recursive sets”, Algebra and Logic, 10:5 (1971), 535–557 (In Russian) | MR

[248] M.G. Peretyat'kin, “On complete theories with a finite number of countable models”, Algebra and Logic, 12:5 (1973), 550–576 (In Russian) | MR

[249] M.G. Peretyat'kin, “Criterion for strong constructivizability of a homogeneous model”, Algebra and Logic, 17:4 (1978), 436–454 (In Russian) | MR | Zbl

[250] M.G. Peretyat'kin, “Theories with three countable models”, Algebra and Logic, 19:2 (1980), 224–235 (In Russian) | MR

[251] M.G. Peretyat'kin, “An example of an $\omega_1$ -categorical complete finitely axiomatizable theory”, Algebra and Logic, 19:3 (1980), 314–347 (In Russian) | MR

[252] M.G. Peretyat'kin, “Turing machine computations in finitely axiomatizable theories”, Algebra and Logic, 21:4 (1982), 410–441 (In Russian) | MR

[253] M.G. Peretyat'kin, “Finitely axiomatizable totally transcendental theories”, Proceedings of the Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences, 2, 1982, 88–135 (In Russian) | MR | Zbl

[254] M.G. Peretyat'kin, “Finitely axiomatizable theories”, Proc. Of the International Congress of Mathematicians (Berkeley, California, 1996), v. 1, 322–330 | MR

[255] M.G. Peretyat'kin, “Similarity of properties for recursively enumerable theories and finitely axiomatizable ones”, Reports of the USSR Academy of Sciences, 308 (1989), 788–791 (In Russian)

[256] M.G. Peretyat'kin, “Uncountably categorical quasi-investigation of Morley rank 3”, Algebra and Logic, 30:1 (1991), 74–89 (In Russian) | MR

[257] M.G. Peretyat'kin, “Semantically universal classes of models”, Algebra and Logic, 30:4 (1991), 271–282 (In Russian) | MR | Zbl

[258] M.G. Peretyat'kin, “Analogs of Rice's theorem for semantic sentence classes”, Algebra and Logic, 30:5 (1991), 332–348 (In Russian) | MR | Zbl

[259] M.G. Peretyat'kin, “Semantic universality of theories over a super-list”, Algebra and Logic, 30:5 (1991), 517–539 | MR | Zbl

[260] M.G. Peretyat'kin, “Expressive power of finitely axiomatizable theories. I Introduction, interpretations, reduction to graphs”, Siberian advances in mathematics, 3:2 (1993), 153–197 | MR | Zbl

[261] M.G. Peretyat'kin, “Expressive power of finitely axiomatizable theories. II Rigid quasisuccession”, Siberian advances in mathematics, 3:3 (1993), 23–145 | MR

[262] M.G. Peretyat'kin, “Expressive power of finitely axiomatizable theories III. Main construction”, Siberian advances in mathematics, 3:4 (1993), 131–201 | MR | Zbl

[263] M.G. Peretyat'kin, Finitely axiomatizable theories, monograph, Scientific Book, Novosibirsk, 1997 (In Russian) | MR

[264] M.G. Peretyat'kin, Finitely axiomatizable theories, Siberian school of algebra and logic, Plenum Publishing Corporation, Springer, 1997 | MR

[265] M.G. Peretyat'kin, “Finitely axiomatizable theories and similarity relations”, Model Theory and Applications, American Mathematical Society Translations — Series 2, 195, Amer. Math. Soc., Providence, RI, 1999, 309–346 | MR | Zbl

[266] M.G. Peretyat'kin, “Introduction in first-order combinatorics providing conceptual framework for computation in predicate logic”, Computation Tools, IARIA, 2013, 31–36

[267] M.G. Peretyat'kin, “On model-theoretic properties that are not preservedon the pairs of mutually interpretable theories”, Bulletin of Symbolic Logic, 20:3 (2014), 398

[268] M.G. Peretyat'kin, “Combinatorics of the first order and model-theoretical properties distinguishable on pairs of mutually interpreted theories”, Mathematical works, 18:2 (2015), 61–92 (in Russian) | Zbl

[269] A. Pillay, “Definability of types, and pairs of o-minimal structures”, The Journal of Symbolic Logic, 59 (1994), 1400–1409 | MR | Zbl

[270] A. Pillay, C. Steinhorn, “Definable sets in ordered structures”, Bulletin AMS, 11 (1984), 159–162 | MR | Zbl

[271] A. Pillay, C. Steinhorn, “Definable sets in ordered structures I”, Transactions of American Mathematical Society, 295 (1986), 565–592 | MR | Zbl

[272] A. Pillay, Ch. Steinhorn, “Definable sets in ordered structures III”, Transactions of the American Mathematical Society, 300 (1988), 469–476 | MR

[273] A. Pillay, E. Vassiliev, “Imaginaries in beautiful pairs”, Illinois Journal of Mathematics, 48:3 (2004), 759–768 | MR | Zbl

[274] A. Pillay, E. Vassiliev, “On lovely pairs and the $\exists y\in P$ quantifier”, Notre Dame Journal of Formal Logic, 46:4 (2005), 491–501 | MR | Zbl

[275] A. Pillay, “On externally definable sets and a theorem of Shelah”, Algebra, logic, set theory, Stud. Log. (Lond.), 2007 pdfs.semanticscholar.org

[276] B. Poizat, “Pairs de structure stables”, The Journal of Symbolic Logic, 48 (1983), 239–249 | MR | Zbl

[277] B. Poizat, “Le carré de l’egalité”, The Journal of Symbolic Logic, 64:3 (1999), 1339–1356 | MR

[278] B. Poizat, “L’egalité au cube”, The Journal of Symbolic Logic, 66:4 (2001), 1647–1676 | MR | Zbl

[279] B. Poizat, A.R. Yeshkeyev, “Positive Jonsson theories”, Logica Universalis, 12:1–2 (2018), 101–127 | MR | Zbl

[280] A.A. Razborov, “On systems of equations in a free group”, Proceedings of the USSR Academy of Sciences, Mathematical series, 48:4 (1984), 779–832 (In Russian) | MR

[281] A. Robinson, Complete Theories, North Holland, Amsterdam, 1956 | MR | Zbl

[282] A. Robinson, “Obstructions to arithmetical extension and the theorem of Łoś and Suzko”, Indag. Math., 21 (1959), 489–495 | MR

[283] A. Robinson, Introduction to Model theory and the metamathematics of algebra, Amsterdam, 1963 | MR | Zbl

[284] Z. Sela, “Diophantine geometry over groups. I. Makanin-Razborov diagrams”, Publications Mathematiques, Institut de Hautes Etudes Scientifiques, 93 (2001), 31–105 | MR | Zbl

[285] Z. Sela, “Diophantine geometry over groups. II. Completions, closures and formal solutions”, Israel Journal of Mathematics, 134 (2003), 173–254 | MR | Zbl

[286] Z. Sela, “Diophantine geometry over groups. IV. An iterative procedure for validation of a sentence”, Israel Journal of Mathematics, 143 (2004), 1–130 | MR | Zbl

[287] Z. Sela, “Diophantine geometry over groups. III. Rigid and solid solutions”, Israel Journal of Mathematics, 147 (2005), 1–73 | MR | Zbl

[288] Z. Sela, “Diophantine geometry over groups. VI. Quantifier elimination. I”, Israel Journal of Mathematics, 150 (2005), 1–197 | MR | Zbl

[289] Z. Sela, “Diophantine geometry over groups. V2. Quantifier elimination. II”, Geometric and Functional Analysis, 16:3 (2006), 537–706 | MR | Zbl

[290] Z. Sela, “Diophantine geometry over groups. VI. The elementary theory of a free group”, Geometric and Functional Analysis, 16:3 (2006), 707–730 | MR | Zbl

[291] S. Shelah, “Stability, the f.c., and superstability; model theoretic properties of formulas in first order theory”, Annals of Mathematical Logic, 3 (1971), 271–362 | MR | Zbl

[292] S. Shelah, “Every two elementarily equivalent models have isomorphic ultrapowers”, Israel Journal of Mathematics, 10 (1971), 224–233 | MR | Zbl

[293] S. Shelah, “Uniqueness and characterization of prime models over sets for totally transcendental first order theory”, The Journal of Symbolic Logic, 37:1 (1972), 107–113 | MR | Zbl

[294] S. Shelah, “Categoricity of uncountable theories”, Proceedings of the Tarski Symposium (Vancouver, 1974), Symposia in pure mathematics, 187–203 | MR

[295] S. Shelah, “Why there are many non-isomorphic models for an unsuperstable theory”, Proceedings of the International Congress (Vancouver, 1974), 259–263 | MR | Zbl

[296] S. Shelah, Classification theory and the number of non-isomorphic models, Studies in logic and the foundations of mathematics, 92, North-Holland Publishing Company, Amsterdam–New York–Oxford, 1978 ; 2nd edition, 1990 | MR | Zbl

[297] S. Shelah, “The spectrum problem III: universal theories”, Israel Journal of Mathematics, 55 (1986), 229–256 | MR | Zbl

[298] S. Shelah, L. Harrington, M. Makkai, “A proof of Vaught's conjecture for $\omega$-stable theories”, Israel Journal of Mathematics, 49 (1984), 259–280 | MR | Zbl

[299] S. Shelah, “Dependent first order theories. Continued”, Israel Journal of Mathematics, 173:1 (2009) | DOI | MR | Zbl

[300] L.A. Skornyakov, “Characterization of the category of polygons”, Math. USSR-Sb., 9:4 (1969), 455–465 | MR

[301] A.A. Stepanova, “Regular polygons with primitive connected theories”, Siberian Mathematical Journal, 55:3 (2014), 544–547 | MR | Zbl

[302] A.P. Stolboushkin, M.A. Taitslin, “Deterministic dynamic logic is strictly weaker than dynamic logic”, Information control, 57:1 (1983), 48–55 | MR | Zbl

[303] A.P. Stolboushkin, M.A. Taitslin, “The comparison of the expressive power of 1st-order dynamic logics”, Theoretical Computer Science, 27:1–2 (1983), 197–209 | MR | Zbl

[304] S.V. Sudoplatov, The Lachlan Problem, NSTU Publisher, Novosibirsk, 2009 (In Russian)

[305] S.V. Sudoplatov, Classification of countable models of complete theories, monograph, 2nd edition in two parts, NSTU Publisher, Novosibirsk, 2018 (In Russian) | MR

[306] A.D. Taimanov, “On extension of continuous mappings of topological spaces”, Sbornik: Mathematics, 31(73):2 (1952), 459–463 (In Russian) | MR | Zbl

[307] A.D. Taimanov, “On closed mappings. I”, Sbornik: Mathematics, 36(78):2 (1955), 349–352 (In Russian) | MR | Zbl

[308] A.D. Taimanov, “On distribution of continuous maps into open”, Proceedings of the 3rd Soviet Union mathematical congress (Moscow, 1956), v. 2, 135–136

[309] A.D. Taimanov, “A class of models closed under direct products”, Proceedings of the USSR Academy of Sciences, Mathematical series, 24:4 (1960), 493–510 (In Russian) | MR | Zbl

[310] A.D. Taimanov, “Extension of monotone mappings to monotone mappings of bicompacts”, Reports of the USSR Academy of Sciences, 135:1 (1960), 23–25 (In Russian) | MR | Zbl

[311] A.D. Taimanov, “Characterization of axiomatizable classes of models I”, Proceedings of the USSR Academy of Sciences, Mathematical series, 25:4 (1961), 601–620 (In Russian) | MR | Zbl

[312] A.D. Taimanov, “Characterization of axiomatizable classes of models II”, Proceedings of the USSR Academy of Sciences, Mathematical series, 25:6 (1961), 755–764 (In Russian) | MR | Zbl

[313] A.D. Taimanov, “Characterization of finitely axiomatizable classes of models”, Reports of USSR Academy of Sciences, 138:1 (1961), 67–69 (In Russian) | MR | Zbl

[314] A.D. Taimanov, “Characterization of finitely axiomatizable classes of models”, Siberian Mathematical Journal, 2:5 (1961), 759–766 (In Russian) | MR | Zbl

[315] A.D. Taimanov, “Characterization of axiomatizable classes of models”, Algebra and Logic, 1:4 (1962), 5–31 (In Russian) | MR | Zbl

[316] A.D. Taimanov, “On Horn formulas”, Proceedings of the USSR Academy of Sciences, Mathematical series, 30:3 (1966), 523–524 (In Russian) | MR | Zbl

[317] A.D. Taimanov, “On one G. S. Makanin's Problem”, 7th Soviet Union Conference on Mathematical Logic, dedicated to 75th birthday of Academician A. I. Mal'tsev (1984), 176 (In Russian)

[318] A.D. Taimanov, “A new example of a complete finitely axiomatizable uncountably categorical theory”, Model-Theoretic Algebra, Kazakh State University, Alma Ata, 1989, 124–129 (In Russian) | MR

[319] A.D. Taimanov, Yu.I. Khmelevsky, “Decidability of the elementary theory of a free semigroup”, Siberian Mathematical Journal, 21:1 (1980), 228–230 (In Russian) | MR | Zbl

[320] M.A. Taitslin, “Hierarchies of program logics”, Siberian Mathematical Journal, 24:3 (1983), 469–476 | MR

[321] A. Tarski, “Mathematical aspects of arithmetical classes and types”, Bulletin of the American Mathematical Society, 55 (1949), 63–64; 1192

[322] A. Tarski, “Arithmetical classes and types of Boolean algebras”, Bulletin of the American Mathematical Society, 55 (1949), 64; 1192

[323] A. Tarski, “Arithmetical classes and types of mathematical systems”, Bulletin of the American Mathematical Society, 55 (1949), 64; 1192

[324] A. Tarski, “Arithmetical classes and types of algebraically closed and real closed fields”, Bulletin of the American Mathematical Society, 55 (1949), 64; 1192

[325] A. Tarski, A decision method for elementary algebra and geometry, Rand Corporation, Berkeley–Los Angeles, 1951 | MR

[326] A. Tarski, A. Mostowski, R.M. Robinson, Undecidable Theories, North Holland, 1953 | MR | Zbl

[327] D.A. Tussupov, “Isomorphisms, definable relations, and Scott families for integral domains and commutative semigroups”, Mathematical works, 9:2 (2006), 172–190 (in Russian) | MR | Zbl

[328] D.A. Tussupov, “Isomorphisms, definable relations, and Scott families of class 2 nilpotent groups”, Algebra and Logic, 46:4 (2007), 514–524 (in Russian) | MR

[329] D.A. Tussupov, “An autostable two-step nilpotent group without a Scott family consisting of finite formulas”, Siberian Mathematical Journal, 48:6 (2007), 1377–1388 (in Russian) | MR

[330] D.A. Tussupov, “Oriented graph of a finite $\Delta^0_\alpha$-dimension”, Bulletin of NSU. Series: Mathematics, Mechanics, Computer Science, 7:1 (2007), 102–113 (in Russian) | MR

[331] E. Vassiliev, “Generic pairs of SU-rank 1 structures”, Annals of Pure and Applied Logic, 120 (2003), 103–149 | MR | Zbl

[332] E. Vassiliev, “On the weak non-finite cover property and the n-tuples of simple structures”, Journal of Symbolic Logic, 70:1 (2005), 235–251 | MR | Zbl

[333] R. Vaught, “Denumerable models of complete theories”, Infinistic Methods, Pergamon, London, 1961, 303–321 | MR

[334] V. Verbovskiy, “On formula depth of weakly o-minimal structures”, Algebra and model theory, a collection of scientific papers, eds. A. Pinus, K. Ponomarev, Novosibirsk State Technical University, 1997, 209–224 | MR

[335] V. Verbovskiy, “Non-uniformly weakly o-minimal groups”, a collection of papers, Algebra and Model Theory, 3, eds. A. Pinus, K. Ponomarev, Novosibirsk State Technical University, 2001, 136–145 | MR | Zbl

[336] V.V. Verbovskiy, On the question of the reduction of imaginary elements for strongly minimal theories of Khrushovsky, in which the group is not interpreted, Deposited in KazgosINTI on March 15, 2002, registration number 8909-Ka 02 (In Russian)

[337] V. Verbovskiy, “On elimination of imaginaries for generic models”, Model Theory in Kazakhstan, ed. M. M. Erimbetov, Eco Study, Almaty, 2006, 41–55 | MR

[338] V. Verbovskiy, “Dependent theories. The Shelah’s theorem”, Proceeding of International conference “Contemporary problems of mathematics, informatics and control”, dedicated to 60th anniversary of M.B. Aidarkhanov (October 2–3, 2008, Almaty), 439–441

[339] V.V. Verbovskiy, “Dp-minimal and ordered stable ordered structures”, Mathematical Journal, 10:2(36) (2010), 35–38 (In Russian)

[340] V. Verbovskiy, “O-Stable Ordered Groups”, Siberian Advances in Mathematics, 22:1 (2012), 50–74 | MR

[341] V. Verbovskiy, “On a classifications of theories without the independence property”, Mathematical Logic Quarterly, 59:1–2 (2013), 119–124 | MR | Zbl

[342] V. Verbovskiy, “On ordered groups of Morley o-rank 1”, Siberian Electronic Mathematical Reports, 15 (2018), 314–320 | MR

[343] V. Verbovskiy, “On commutativity of circularly ordered c-o-stable groups”, Eurasian Mathematical Journal, 9:4 (2018), 91–98 | MR

[344] V. Verbovskiy, “On definability of types and relative stability”, Mathematical Logic Quarterly, 2019 (to appear) | MR | Zbl

[345] V. Verbovskiy, I. Yoneda, “CM-triviality and relational structures”, Annals of Pure and Applied Logic, 122 (2003), 175–194 | MR | Zbl

[346] A.J. Wilkie, “Model-completeness results for expansions of the real field by restricted Pfaffian functions and the exponential function”, Journal of the American Mathematical Society, 9 (1996), 1051–1094 | MR | Zbl

[347] R. Woodrow, “Theories with a finite number of counttable models”, Journal of Symbolic Logic, 43:3 (1978), 442–455 | MR | Zbl

[348] B.I. Zilber, “On the transcendence rank of formulas of an $\aleph_1$-categorical theory”, Mathematical Notes, 15:2 (1974), 321–329 (in Russian) | MR | Zbl

[349] B.I. Zilber, “Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers”, Model theory and its applications, ed. M. A. Taitslin, Kazakh State University, Alma-Ata, 1980, 47–60 (In Russian) | MR

[350] American Mathematical Society Translations, (2), 135 (1987), 13–17 | MR | Zbl

[351] B.I. Zilber, “Quasi-urbanic structures”, Model-theoretic algebra, ed. A. I. Omarov, Kazakh State University, Alma-Ata, 1989, 50–67 (in Russian) | MR

[352] K. Zhetpisov, “On the number of automorphisms of models of categorical theories”, Model Theory, ed. A. I. Omarov, Kazakh State University, Alma-Ata, 1990, 35–45 (In Russian) | MR

[353] A.R. Yeshkeyev, O.I. Ulbrikht, “JSp-cosemanticness and JSB property of abelian groups”, Siberian Electronic Mathematical Reports, 13 (2016), 861–874 | MR | Zbl

[354] A.R. Yeshkeyev, M.T. Kassymetova, N.K. Shamatayeva, “Model-theoretic properties of the $\#$-companion of a Jonsson set”, Eurasian Mathematical Journal, 9:2 (2018), 68–81 | MR

[355] A.R. Yeshkeyev, O.I. Ulbrikht, “JSp-cosemanticness of $R$-modules”, Siberian Electronic Mathematical Reports, 16 (2019), 1233–1244 | MR | Zbl