Main page | Russian version |
Alaev Pavel Evgen'evich (Novosibirsk)
Computability of families of superatomic boolean algebras |
Arslanov Marat Mirzaevich (Kazan)
Completeness criterions for truth-table reducibilities and Kolmogorov complexity |
Ashaev Igor Viktorovich, Mavlikasova Gulnaz Chulpanovna (Omsk)
One version of Sigma-definability of algebraic structures |
Badaev Serikjan Agybaevich (Almaty, Kazakhstan)
Global and Local Properties of Rogers Semilattices of Arithmetical Numberings |
Bereznyuk Stanislav Leonidovich (Novosibirsk) |
Buzykaeva Anna Nikolaevna (Novosibirsk) |
Vlasov Vladimir Nikolaevich (Novosibirsk) |
Gailit Evgeniya Valer'evna (Novosibirsk)
Modelling of oscillating processes |
Gailit Mikhail Vladimirovich (Novosibirsk) |
Ganov Valeriy Aleksandrovich (Barnaul)
Generalized-constructive modelling of mathematical theories |
Goncharov Sergei Savost'yanovich (Novosibirsk)
Invariants in computable models |
Dzgoev Valeriy Dmitrievich (Vladikavkaz) |
Dobritsa Vyacheslav Porfir'evich (Almaty, Kazakhstan)
Index sets in generalized numberings |
Drobotun Boris Nikolaevich (Pavlodar, Kazakhstan) |
Ershov Yuriy Leonidovich (Novosibirsk)
Nice local-global fields |
Jerlov Aleksandr Konstantinovich (Irlutsk)
About some property of reverse deduction in a certain class of positively constructed formulas |
Zhukov Anton Vladimirovich (Novosibirsk) |
Kalimullin Iskander Shagitovich (Kazan)
Weak presentations of partial orderings |
Kasymkanuly Boribay (Kostanay, Kazakhstan) |
Kasymov Nadimulla Khabibulaevich (Tashkent, Uzbekistan)
Universal definability of positive structures |
Kogabaev Nurlan Talgatovich (Novosibirsk)
Constructive Boolean algebras with distinguished ideals |
Korovina Margarita Vladimirovna (Denmark), Kudinov Oleg Victorovich
(Novosibirsk)
Real-valued Computability |
Korolkov Yuriy Dmitrievich (Irkutsk)
The Computable Families of Recursive Functions |
Kosovskiy Nikolay Kirillovich (Sankt-Peterburg)
Two persolnal computer logics |
Latkin Ivan Vasil'evich (Ust-Kamenogorsk, Kazakhstan)
Category theoretical properties of numbered algebras |
Morozov Andrei Sergeevich (Novosibirsk)
Some examples of Sigma-subsets of natural numbers |
Khight Julia (Notre-Dame, USA)
Sequences of n-diagrams (with V. Harizanov and A.S. Morozov) |
Nies Andre (Chicago, USA)
Lowness properties of sets and randomness |
Odintsov Sergei Pavlovich (Novosibirsk) |
Peryazev Nikolay (Irkutsk) |
Podzorov Sergei Ur'evich (Novosibirsk)
The structure of Rogers semilattices of arithmetical numberings |
Prikhodovskiy Mikhail Anatolyevich (Tomsk)
T-rings and T(R)-modules |
Puzarenko Vadim Grigor'evich (Novosibirsk) |
Remeslennikov Vladimir Nikanorovich (Omsk)
Complexity of algorithms of the combinatorial group theory |
Rybina Tatiana (Manchester, England)
Verification of Infinite-State Systems (with A. Voronkov) |
Sadovoy Grigoriy Stepanovich (Novosibirsk)
Computable automorghisms of Galois fields |
Selivanov Viktor Lvovich (Novosibirsk)
Positive structures |
Solon Boris Yakovlevich (Ivanovo)
Non-total enumeration degrees |
Sorbi Andrea (Siena, Italy)
Complete numberings and completions |
Stukachyov Aleksey Il'ich (Novosibirsk) |
Tusupov Jamal (Jambul, Kazakhstan) |
Khisamiev Asylkhan Nazifovich (Novosibirsk)
On upper semilattices of Sigma-degrees |
Khisamiev Nazif Garifullinovich (Ust-Kamenogorsk, Kazakhstan) |
Khussainov Bakhadyr (Auckland, New Zealand)
Some problems of Goncharov in the theory of effective models |