Programme 2021

Programme of 14th International Summer School-Conference “Problems Allied to Universal Algebra and Model Theory” in occasion of 75th Birhtday of Professor Bruno Poizat

Time GMT+7

School-Conference will be held online with access via Zoom:

June 23, Wednesday

Meeting records:,

8:55am – 9:00am Opening Ceremony

Chairman S. Sudoplatov

9:00am – 9:50am S. Goncharov (Novosibirsk, Russia), Semantic modeling and programming

10:00am – 10:50am A. Stepanova (Vladivostok, Russia), On axiomatizability of some classes of polygons over monoids

11:00am – 11:30am A. Pinus (Novosibirsk, Russia), On some non-traditional relations on spaces of functional clones

11:40am – 12:30pm N. Peryazev (Saint-Petersburg, Russia), Logic of multioperations

Chairman A. Borovik

4:00pm – 4:50pm Ye. Baissalov (Nur-Sultan, Kazakhstan), Minimal algebras

5:00pm – 5:20pm V. Verbovskiy, with J. Baldwin (Almaty, Kazakhstan; Chicago, USA), On definable closure in Hrushovski’s strongly minimal generic structures

6:00 – 6:20pm A. Berkman (Istanbul, Turkey), Groups of finite Morley rank with a generically multiply transitive action

Chairman S. Sudoplatov

7:00pm – 7:50pm A. Borovik (Manchester, UK), Finite groups and groups of finite Morley rank: more connections

8:00pm – 8:50pm B. Poizat (Lyon, France) Jubilee Talk: Positive Set Theory

9:00pm Congratulations

June 24, Thursday

Meeting records: 

Chairman A. Stepanova

9:00am – 9:50am B. Baizhanov (Almaty, Kazakhstan), On the properties of 2-formulas on the set of all realizations of convex closure of 1-type in small ordered theories

10:00am – 10:50am B. Kulpeshov (Almaty, Kazakhstan; Novosibirsk, Russia), Criterion for binarity of almost omega-categorical weakly o-minimal theories

11:00am – 11:50am N. Kasymov, with R.Dadajanov and S. Djavliyev (Tashkent, Uzbekistan), Degrees of algorithmic representativity of linear orders

12:30pm – 12:50pm P. Kolesnikov (Novosibirsk, Russia), Derivative identities of differential algebras

Chairman P. Kolesnikov

3:00pm – 3:20pm S. Zhavliyev, with N. Kasymov (Tashkent, Uzbekistan), Negative enumerations of linear orders with endomorphisms

3:30pm – 3:50pm I. Khodzhamuratova, with N. Kasymov (Tashkent, Uzbekistan), On representativity of translation complete universal algebras over negative equivalences

4:00pm – 4:20pm D. Eremenko (Saint-Petersburg, Russia), Minimal algebras of binary operations of rank 3

4:30pm – 4:50pm S. Todikov (Saint-Petersburg, Russia), Comparison of expressive capabilities of different languages of multioperations

Chairman B. Poizat

7:00pm – 7:50pm P. Koiran (Lyon, France), The incredible shrinking algebraic computation model

8:00pm – 8:50pm G. Cherlin (New Brunswick, USA), Metrically homogeneous graphs and distance semigroups

June 25, Friday

Meeting records: 

Chairman E. Poroshenko

10:00am – 10:50am V. Levchuk, with O. Kravtsova (Krasnoyarsk, Russia), Some questions of algebraic and geometric systems

11:00am – 11:50am E.I. Timoshenko (Novosibirsk, Russia), Bases of partially commutative groups

Noon – 12:50pm A. Pozhidaev (Novosibirsk, Russia), On simple right-symmetric (pre-Lie) algebras

Chairman N. Peryazev

3:00pm – 3:20pm M. Schwidefsky, with Yu. Ershov (Novosibirsk, Russia), On function spaces

3:30pm – 3:50pm A. Popova, with O. Bryukhanov (Novosibirsk, Russia), Some algorithmic questions of factorization of integer group rings

4:00pm – 4:20pm O. Bryukhanov, with V. Bardakov and M. Neshchadim (Novosibirsk, Russia), On nilpotent approximability of some extensions

4:30pm – 4:50pm I. Zotov, with V. Levchuk (Krasnoyarsk, Russia), The Mal’tsev correspondence and local automorphisms of nil-triangular algebras

5:00pm – 5:50pm A. Iwanow (Gliwice, Poland), Amenability and computable groups

6:00pm – 6:20pm K. Duda (Wroclaw, Poland), Computable paradoxical decompositions of computable groups

6:30pm – 7:20pm P. Stefaneas, with D. Zafeirakopoulos, (Athens, Greece), Remarks on Deontic Logic and Artificial Intelligence

June 26, Saturday

Meeting records: 

Chairman N. Kasymov

10:00am – 10:50am A. Yeshkeyev (Karaganda, Kazakhstan), Jonsson spectrum and its models

11:00am – 11:50am R. Sklinos (Beijing, China), Fields interpretable in the free group

Chairman Ye. Baissalov

3:00pm – 3:20pm N. Mussina N., with M. Kasymetova and N. Popova (Karaganda, Kazakhstan), Companions of hybrids of fragments of definable subsets

3:30pm – 3:50pm M. Omarova, with A. Yeshkeyev and O. Ulbrikht (Karaganda, Kazakhstan), The number of perfect fragments of the Jonsson spectrum of the class of existentially closed models of an arbitrary signature

4:00pm – 4:20pm A. Isayeva, with A. Yeshkeyev and N. Shamatayeva (Karaganda, Kazakhstan), Small models of fagments of Jonsson sets

5:00pm – 5:20pm B.K. Gupta (Barabanki UP, India), Big Data : Unstructured Information as Boon and Bane

5:30pm – 5:50pm M.E. Ogiugo (Ibadan, Nigeria), The number of subgroup chains in the cartesian product of Z_p X S_4 (p is any prime)

June 27, Sunday

Meeting records: 

Chairman B. Kulpeshov

10:00am – 10:50am S. Sudoplatov (Novosibirsk, Russia), Characteristics for families of theories

11:00am – 11:30am N. Markhabatov (Novosibirsk, Russia; Taraz, Kazakhstan), Model-theoretic and topological properties of families of theories

11:40am – 12:10pm D. Emelyanov (Novosibirsk, Russia), Algebras of binary isolating formulas

Chairman V. Verbovskiy

3:00pm – 3:20pm D. Vlasov (Novosibirsk, Russia), Semantic programming and unified semantics of algebraic, logical and functional operators

3:30pm – 3:50pm S. Gusev, with E.W.H. Lee (Yekaterinburg, Russia; Fort Lauderdale, USA), Cancellable elements of the lattice of monoid varieties

4:00pm – 4:20pm O. Voronina (Petropavlovsk, Kazakhstan), On simultaneous reduction of elements of abelian groups and vector spaces to positive form

4:30pm – 4:50pm S. Lutsak, with O. Voronina (Petropavlovsk, Kazakhstan), On complexity of quasivariety lattices of Lukasiewicz algebras

5:00pm – 5:20pm A. Kasatova (Nur-Sultan, Kazakhstan), Properties of quasivarieties of complete theories

5:30pm – 5:50pm A. Dauletiyarova, with S. Sudoplatov (Novosibirsk, Russia), On some expansions of dense orders

June 28, Monday

Meeting records:, 

Chairman E.I. Timoshenko

10:00am – 10:20am M. Zonov, with E.A. Timoshenko (Tomsk, Russia), On nilradicals of E-rings

10:30am – 10:50am N. Galanova (Tomsk, Russia), On some examples of real closed fields

11:00am – 11:20am A. Zabarina, with E.Fomina (Tomsk, Russia), On some properties of the set K_p in finite groups

11:30am – 11:50am F. Dudkin (Novosibirsk, Russia), Finite index subgroups of non-large generalized Baumslag-Soliter groups

Chairman A. Pozhidaev

3:00pm – 3:20pm E. Poroshenko (Novosibirsk, Russia), Splitting partially commutative Lie algebras into direct sums

3:30pm – 3:50pm A. Galt (Novosibirsk, Russia), On Thompson’s problem in primitive groups

4:00pm – 4:20pm K. Tulenbayev, with A. Dzhumadil’daev (Almaty, Kazakhstan), Nagata Theorem for algebras close to Novikov

4:30pm – 4:50pm V. Gubarev (Novosibirsk, Russia), Rota-Baxter operators on the conformal loop algebra over sl(2,C)

5:00pm – 5:20pm A. Staroletov (Novosibirsk, Russia), On 3-generated algebras of monster type

5:30pm – 5:50pm A. Petukhov (Moscow, Russia), Primitive ideals and Nil-Dynkin Lie algebras

6:00pm – 6:20pm A. Zenkov (Barnaul, Russia), On idempotents of the semigroup of varieties of m-groups

6:30pm Closing Ceremony