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 |

Last updated: October 4, 2001