Main page Russian version

Participants of the Workshop

Almost all abstracts are available as Postscript-files. You can download program GhostScript that allows reading of such files.

Program GhostScript


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

 



Last updated: October 4, 2001