Publications by

Sergey Vladimirovich Sudoplatov

 

Books

1. Discrete mathematics (joint with E.V. Ovchinnikova). – Novosibirsk: Edition of Novosibirsk State Technical University, 1994. – 170 p. (photo)

2. Type calculations in discrete mathematics (joint with E.V. Ovchinnikova). – Novosibirsk: Edition of Novosibirsk State Technical University, 1997. – 28 p.

3. Adjusting lectures on higher mathematics (joint with I.Ya. Glazychev, A.M. Ivleva, L.V. Kovalevskaya, E.V. Ovchinnikova, A.G. Pinus, K.N. Ponomaryov, I.D. Chernykh, A.V. Chekhonadskih, V.G. Shikhova). – Novosibirsk: Edition of Novosibirsk State Technical University, 1999-2008. Parts 1-8. – 308 p.

4. Elements of Discrete Mathematics: Manual (joint with E.V. Ovchinnikova). – Moscow: INFRA-M, Novosibirsk: Edition of Novosibirsk State Technical University, 2002, 2003. – 280 p. (photo)

5. Mathematical Logic and Theory of Algorithms. Manual (joint with E.V. Ovchinnikova). – Novosibirsk: Edition of Novosibirsk State Technical University, 2003. – 226 p.

6. Mathematical Logic and Theory of Algorithms: Manual (joint with E.V. Ovchinnikova). – Moscow: INFRA-M, Novosibirsk: Edition of Novosibirsk State Technical University, 2004, 2008. – 224 p. (photo)

7. Discrete Mathematics: Manual (joint with E.V. Ovchinnikova). – Moscow: INFRA-M, Novosibirsk: Edition of Novosibirsk State Technical University, 2005, 2007. – 256 p. (photo)

8. The Lachlan Problem. – Novosibirsk, 2008. – 270 p. (in Russian)

9. The Lachlan Problem. – Novosibirsk, 2008. – 245 p.

 

Scientific papers

1. Normality conditions of elementary theories // Proceedings of XXIV All-Union Scientific Student Conf. Mathematics. – Novosibirsk: Edition of Novosibirsk State University, 1986. P. 60-64.

2. On powerful types in small theories // Siberian Math. J. 1990. V. 31, N 4. P. 118-128. (SpringerLink)

3. Baseness in plane-predicate theories and theories without semi-contours // Edition of Siberian Math. J. Novosibirsk, 1990. Deposed in VINITI 15.01.91, N 245-B 91.

4. Trigonometries of groups and of systems // In: Structural properties of algebraic systems. Collection of scientific works. – Karaganda: Edition of Karaganda State University, 1990. P. 12-33.

5. Trigonometries on precise pseudoplane // In: Les Travaux Scientifiques du Colloque Sovieto-Francais sur la Theorie des Modeles. – Karaganda: Edition of Karaganda State University, 1990. P. 185-201.

6. Type reduction and powerful types // Siberian Math. J. 1992. V. 33, N 1. P. 150-159. (SpringerLink)

7. On embedding relation in the class of group trigonometries // Algebra and Logic. 1994. V. 33, N 4. P. 429-447.

8. On group trigonometries on a projective plane // Siberian Math. J. 1995. V. 36, N 2. P. 419-431.

9. On trigonometries not embeddable in trigonometries with small theories // In: Investigations in the theory of algebraic systems. Collection of scientific papers. – Karaganda: Edition of Karaganda State University, 1995. P. 103-110.

10. On trigonometries of finite groups and of groups with subgroups having trigonometries // Siberian Math. J. 1996. V. 37, N 2. P. 419-423.

11. On an estimation of complexity of graph theories // Siberian Math. J. 1996. V. 37, N 3. P. 700-703.

12. Polygonometries of group pairs // Siberian Math. J. 1997. V. 38, N 4. P. 925-931.

13. Partial algebras associated with group pair polygonometries // Algebra and Logic. 1997. V. 36. N 4. P. 454-476.

14. Trigonometries with functions sin and cos // In: Algebra and Model Theory. Collection of papers (Edited by A.G. Pinus and K.N. Ponomaryov). Novosibirsk: Edition of Novosibirsk State Technical University, 1997. P. 169-172.

15. Number of models of theories of everywhere finitely defined polygonometries // Siberian Math. J. 1999. V. 40, N 3. P. 689-694.

16. Transitive arrangements of algebraic systems // Siberian Math. J. 1999. V. 40, N 6. P. 1347-1351.

17. Group polygonometries and related algebraic systems (an informative survey) // In: Contributions to General Algebra 11. Proc. of the Olomouc Workshop '98 on General Algebra. Klagenfurt: Verlag Johannes Heyn, 1999. P. 191--210. (pdf)

18. Group polygonometries with symmetrical conditions // In: Algebra and Model Theory 2. Collection of papers (Edited by A.G. Pinus and K.N. Ponomaryov). Novosibirsk: Edition of Novosibirsk State Technical University, 1999. P. 140--159. (pdf)

19. On classification of group polygonometries // Matematicheskie trudy. 2001. V. 4, N 1. P. 174-202.

20. On classification of group polygonometries // Siberian Advances in Mathematics. 2001. V. 11, N 3. P. 98-125.

21. On acyclic hypergraphs of minimal prime models // Siberian Math. J. 2001. V. 42, N 6. P. 1408-1412.

22. Closed sets of side-angle matrices and correspondent geometrical structures // In: Algebra and Model Theory 3. Collection of papers (Edited by A.G. Pinus and K.N. Ponomaryov). Novosibirsk: Edition of Novosibirsk State Technical University, 2001. P. 131--135.

23. Omega-stable trigonometries on a projective plane // Matematicheskie trudy. 2002. V. 5, N 1. P. 135-166.

24. Omega-stable trigonometries on a projective plane // Siberian Advances in Math. 2002. V. 12, N 4. P. 97--124.

25. Inessential combinations and colorings of models // Siberian Math. J. 2003. V. 44, N 5. P. 1132-1141.

26. Fuzzy polygonometries // In: Algebra and Model Theory 4. Collection of papers (Edited by A.G. Pinus and K.N. Ponomaryov). Novosibirsk: Edition of Novosibirsk State Technical University, 2003. P. 124-128.

27. Complete theories with finitely many countable models. I // Algebra and Logic. 2004. V. 43, N 1. P. 110-124. (SpringerLink)

28. Powerful digraphs // Siberian Math. J. 2007. V. 48, N 1. P. 205-213. (pdf) (SpringerLink)

29. Complete theories with finitely many countable models. II // Algebra and Logic. 2006. V. 45, N 3. P. 314-353. (SpringerLink)

30. On the number of countable models of complete theories with finite Rudin-Keisler preorders // Siberian Math. J. 2007. V. 48, N 2. P. 417-422. (SpringerLink)

31. Syntactic approach to constructions of generic models // Algebra and Logic. 2007. V. 46, N 2. P. 244-268. (pdf, pdfeng) (SpringerLink)

32. On generating elements in generic algebras (joint with E.V. Ovchinnikova) // In: Algebra and Model Theory 5. Collection of papers (Edited by A.G. Pinus and K.N. Ponomaryov). Novosibirsk: Edition of Novosibirsk State Technical University, 2005. P. 132-138. (pdf)

33. Varieties of generic classes // In: Algebra and Model Theory 5. Collection of papers (Edited by A.G. Pinus and K.N. Ponomaryov). Novosibirsk: Edition of Novosibirsk State Technical University, 2005. P. 204-208. (pdf)

34. Small stable generic graphs with infinite weights. Bipartite digraphs // Matematicheskie trudy. 2006. V. 9, N 2. P. 154-171.

35. Small stable generic graphs with infinite weight. Bipartite digraphs // Siberian Advances in Math. 2007. V. 17, N 1. P. 37-48. (Abstract) (SpringerLink)

36. Small stable generic graphs with infinite weight. Digraphs without furcations // Matematicheskie trudy. 2007. V. 10, N 1. P. 191-207.

37. Small stable generic graphs with infinite weight. Digraphs without furcations // Siberian Advances in Math. 2008. V. 18, N 2. P. 142-151. (SpringerLink)

38. Small stable generic graphs with infinite weight. Powerful digraphs // Matematicheskie trudy. (Submitted in 2006)

39. On expansions and extensions of powerful digraphs // Siberian Math. J. (Submitted in 2007)

40. Models of cubic theories // Siberian Math. J. (Submitted in 2007)

41. On the finite closure property for fusions of generic classes // Algebra and Logic. (Submitted in 2007)

42. Stable theories with finitely many countable models // Algebra and Logic. (Submitted in 2007)

43. Small stable trigonometries with infinite weight // // In: Algebra and Model Theory 6. Collection of papers (Edited by A.G. Pinus and K.N. Ponomaryov). Novosibirsk: Edition of Novosibirsk State Technical University, 2007. P. 111-117.

44. Hypergraphs of prime models of small theories // Algebra and Logic. (Submitted in 2007)

45. Ehrenfeucht theories with non-dense powerful digraphs // Siberian Math. J. (Submitted in 2007)

46. Ehrenfeucht theories without powerful digraphs // Siberian Math. J. (Submitted in 2007)

 

Abstracts of talks

1. On normality conditions of complete theories // 8-th All-Union  Math. Logic Conf. Abstracts of talks. –  Moscow: Edition of MGPI, 1986. – P. 191.

2. Powerful types and reducibility property // 9-th All-Union Math. Logic Conf. Abstracts of talks. –  Leningrad: Nauka, 1988. – P. 159.

3. Baseness of theories without semi-contours // Colloque Sovieto-Francais sur la Theorie des Modeles. Theses des communicationes – Karaganda: Edition of Karaganda State University, 1990. – P. 45.

4. Approximation of projectivity property with acyclic orientation in stable theories // Colloque Sovieto-Francais sur la Theorie des Modeles. Theses des communicationes – Karaganda: Edition of Karaganda State University, 1990. – P. 46-47.

5. On n-theories of graphs // International Algebraic Conf. Abstracts of talks. – Barnaul, Novosibirsk: Edition of Mathematics Institute of Siberian Branch of Academy of Sciences of USSR, 1991. – P. 142.

6. On group trigonometries // XI Inter-Republican Math. Logic Conf. Abstracts of talks. – Kazan’: Edition of Kazan’ State University, 1992. – P. 136.

7. Transitive arrangement of a structure in the structure of free directed pseudoplane // Third International Algebraic Conf. Abstracts of talks. – Krasnoyarsk: Edition of Krasnoyarsk State University, 1993. – P. 321-322.

8. Embedding relation in the class of  group trigonometries // Third International Algebraic Conf. Abstracts of talks. – Krasnoyarsk: Edition of Krasnoyarsk State University, 1993. – P. 322-323.

9. On trigonometries of pairs of groups // Third Suslin Conf. Scientific Math. Readings. – Saratov: Edition of SSPI, 1994. – P. 58-59.

10. Homomorphisms in the class of trigonometries of pairs of groups // Third Suslin Conf. Scientific Math. Readings. – Saratov: Edition of SSPI, 1994. – P. 60-61.

11. On the number of types in trigonometrical theories // Comptes-rendus au 3 eme colloque qazaqo-francais de theorie des modeles (Almaty, 27 juin - 1 jullet 1994). Institute of Informatics and Control Problems. Academy of Sciences of the Republic of Kazakhstan. – Almaty, 1996. – P. 22-23.

12. On classification of polygonometries of groups // Abstracts. KORUS '97. The first Korea-Russia International Symposium on Science and Technology. September 29 - October 3, 1997. – University of Ulsan, Republic of Korea. – P. 133.

13. Automorphism groups of polygonometries // Kurosh Algebraic Conference '98, Abstracts of Talks. – Moscow: Edition of Moscow State University, 1998. – P. 119-120.

14. On type identifications in trigonometrical theories // Proceedings of International Math. Logic Conf. devoted to the memory of A.I. Maltsev. Abstracts of talks. – Novosibirsk: Edition of NIIDMI, 1999. – P. 111-112.

15. On hypergraphs of minimal prime models // Proceedings of International Math. Logic Conf. devoted to the memory of A.I. Maltsev. Abstracts of talks. – Novosibirsk: Edition of IDMI, 1999. – P. 112-113.

16. On polygonometries with symmetrical conditions // International seminar “Universal algebra and its applications” devoted to the memory of L.A. Skornyakov. – Volgograd: Peremena, 1999. – P. 61-62.

17. On immersion of group trigonometries in nonprincipal types // Logic and Applications. Abstracts of International Conf. Devoted to 60th  Anniversary of Academician Yu.L. Ershov. – Novosibirsk: Edition of NIIDMI, 2000. – P. 97.

18. On generic group trigonometries // International algebraic seminar devoted to 70th anniversary of scientific research algebraic seminar of MSU founded by O.Yu. Shmidt in 1930 (November 13-16, 2000). Abstracts of talks. – Moscow: Edition of CPI in Mechanics and Mathematics Department of MSU, 2000. – P. 94-95. (pdf)

19. Stable Theories with a Finite Number of Countable Models // Maltsev Meeting. Novosibirsk, 2001. (ps)

20. On generalized group polygonometries // International Group Theory seminar devoted to 70th anniversary of A.I. Starostin and   80th anniversary of N.F. Sesekin. – Ekaterinburg: Edition of Ural State University, 2001. – P. 209-212.

21. On finite polygonometries with two-element side group // International Conf. “Algebra and its applications”: Abstracts of talks. –  Krasnoyarsk: Edition of Krasnoyarsk State University, 2002. – P. 115.

22. On syntactical generic constructions // VI International Conf. “Algebra and Number theory: modern problems and applications” devoted to 100th anniversary of N.G. Chudakov. – Saratov: Edition of SSPI,, 2004. – P. 142-144. (pdf)

23. On structures of powerful types // Algebra, Logic and Cybernetics: Proceedings of International Conf. – Irkutsk: Edition of Irkutsk State Pedagogical University, 2004. – P. 198-199. (pdf)

24. On syntactical approach to generic constructions // Model theory and Algebra. France-Kazakhstan Conference. 18-22 July, 2005. Abstracts. – Astana: Edition of ENU, 2005. – P. 62-63.

25. On saturated generic models // Abstracts. The 9th Asian Logic Conference. August 16-19, 2005. – Novosibirsk: Edition of NSU, 2005. – P. 132-133.

26. On syntactical generic constructions and embedding relation in the class of homogeneous models // International Algebraic Conference to the 100th birthday of P.G. Kontorovich and 70th birthday of L.N. Shevrin. Ekaterinburg (Russia). August 29 – September 3, 2005. – Ekaterinburg: Edition of Ural State University, 2005. –P. 162-165.

27. Infinite weight in stable generic bipartite directed graphs // Proceedings of International 11 Interuniversity Conference on Mathematics and Mechanics devoted to the 10-anniversary of Eurasian National University of a name of  L.N. Gumilev. – Astana: Edition of Eurasian National University of a name of  L.N. Gumilev. – P. 52.

28. Infinite weight in stable generic graphs without furcations // Methods of Logic in Mathematics III. Short abstracts of an international meeting held on June 1 - 7, 2006. – Saint-Petersburg: POMI RAN, 2006. – P. 25. (pdf)

29. Stable generic powerful digraphs // Syntax and semantics of logic systems: Proceedings of Russian School-Seminar. – Irkutsk: Edition of Irkutsk State Pedagogical University, 2006. – P. 93-96. (pdfrus)

30. On the finite closure property for fusions of generic classes // Maltsev Meeting. Novosibirsk, 2006. (pdf)

31. On prerank functions generating stable syntactic generic models // International conference “Algebra and its applications”: Abstracts of talks. – Krasnoyarsk: Edition of Siberian Federal University, 2007. – P. 179-180. (pdf)

32. On stable generic Ehrenfeucht theories (a solution of the Lachlan problem) // Mathematics in the Modern World. The Russian Conference Dedicated to the Fiftieth Anniversary of the Sobolev Institute of Mathematics, September 17-23, 2007. Abstracts. – Novosibirsk: Edition of Sobolev Institute of Mathematics, 2007. – P. 41-42. (pdf)

33. Hypergraphs of Prime Models of Small Theories // Maltsev Meeting. Novosibirsk, 2007. (pdf)

 

Talks since 2003

1. Complete theories with finitely many countable models (Scientific Session of NSTU, Novosibirsk, March 2003).

2. Classification of complete theories having a finite number of countable models (Erlagol conference ”Intermediate questions of Model Theory and Universal Algebra”, June 2003).

3. Theories with finitely many countable models and group polygonometries (Seminar “Algebraic Systems”, Ural State University, Ekaterinburg, December 2003).

4. On theories with finitely many countable models (Model theory seminar, University of Illinois at Urbana-Champaign, Urbana, USA, February 2004).

5. Theories with a finite number of countable models and group polygonometries (Model theory seminar, University of Illinois at Chicago, Chicago, USA, February 2004).

6. On syntactical generic constructions (International Algebraic Conference, Moscow State University, Moscow, May 2004).

7. On structures of powerful types (International Conference “Algebra, Logic and Cybernetics”, Irkutsk State Pedagogical University, Irkutsk, August 2004).

8. Theories with finitely many countable models and group polygonometries (plenary talk, Maltsev Meeting, Sobolev Institute of Mathematics, Novosibirsk, November 2004, photo). (pdf)

9. Syntactical approach to constructions of generic models (Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, November 2004).

10. On classification of elementary theories (Scientific Session of NSTU, Novosibirsk, March 2005). (pdf in Russian)

11. Syntactical generic constructions (Erlagol conference ”Intermediate questions of Model Theory and Universal Algebra”, June 2005).

12. On syntactical generic constructions (Model theory and Algebra. France-Kazakhstan Conference. 18-22 July, 2005. Astana, Kazakhstan. Invited speaker).

13. On saturated generic models (9th Asian Logic Conference. August 16-19, 2005. Sobolev Institute of Mathematics, Novosibirsk, photo).

14. Ehrenfeucht theories (Seminar “Computability theory”, Novosibirsk State University, Novosibirsk, September 2005).

15. Complete theories with finitely many countable models (Mathematical seminar of Sobolev Institute of Mathematics, Novosibirsk, October 2005). (pdf in Russian)

16. Small stable generic powerful graphs (Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, March - May 2006).

17. Stable graphs with infinite weights and Ehrenfeucht theories (Scientific Session of NSTU, Novosibirsk, March 2006). (pdf in Russian)

18. Infinite weight in stable generic graphs without furcations (International conference “Methods of Logic in Mathematics III”, Saint-Petersburg, June 1-7, 2006). (pdf)

19. Small stable generic graphs with infinite weights: bipartite directed graphs (International school “Model theory and its applications in computer science”, 5-10 June, 2006, Almaty, Kazakhstan). (pdf)

20. Small stable generic graphs with infinite weights: directed graphs without furcations (International school “Model theory and its applications in computer science”, 5-10 June, 2006, Almaty, Kazakhstan). (pdf)

21. Small stable generic graphs with infinite weights: powerful graphs (International school “Model theory and its applications in computer science”, 5-10 June, 2006, Almaty, Kazakhstan). (pdf)

22. Stable generic powerful digraphs (Russian School-Seminar “Syntax and semantics of logic systems”, 23-27 August, 2006, Irkutsk). (pdfrus)

23. On the finite closure property for fusions of generic classes (Maltsev Meeting, Sobolev Institute of Mathematics, Novosibirsk, November 2006). (pdf)

24. Stable theories with finitely many countable models (a solution of Lachlan problem) (Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, April 2007).

25. Stable theories with finitely many countable models (a solution of the Lachlan problem) (Seminar “Algebra and Logic”, Novosibirsk State University, Novosibirsk, May 2007). (Abstract pdfrus)

26. Graphs in models and Ehrenfeucht theories (Erlagol conference “Intermediate questions of Model Theory and Universal Algebra”, June 2007).

27. On stable generic Ehrenfeucht theories (a solution of the Lachlan problem) (Mathematics in the Modern World. The Russian Conference Dedicated to the Fiftieth Anniversary of the Sobolev Institute of Mathematics, Novosibirsk, September 2007).

28. Hypergraphs of prime models of small theories (Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, October 2007).

29. Hypergraphs of prime models of small theories (Maltsev Meeting, Sobolev Institute of Mathematics, Novosibirsk, November 2007). (pdf)

30. On number of countable models of a theory (Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, March 2008).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 




  
ïî÷òà