Abstract: On January 1, 2011, an outstanding mathematician Academician Sergei Ivanovich Adian turned eighty. The present volume contains papers dedicated to this anniversary and written by students and close colleagues of Adian both from Russia and abroad. The papers are related to various fields of mathematical logic, algebra, and set theory: group theory, proof theory, theory of algorithms, computational complexity, etc. The volume also
includes Adian's postgraduate study on descriptive set theory that was carried out under the supervision of P. S. Novikov. This study was published as a joint paper in a hardly accessible journal “Uchenye Zapiski
MGPI im. V. I. Lenina” and has not yet been translated into English. The papers by foreign scientists are published in the original (in English).
The volume will be useful for mathematicians interested in the topical problems of mathematical logic, algebra, and theory of algorithms.
Algorithmic aspects of algebra and logic
Collected papers. Dedicated to Academician Sergei Ivanovich Adian on the occasion of his 80th birthday
On January 1, 2011, an outstanding mathematician Academician Sergei Ivanovich Adian turned eighty. The present volume contains papers dedicated to this anniversary and written by students and close colleagues of Adian
both from Russia and abroad. The papers are related to various fields of mathematical logic, algebra, and set theory: group theory, proof theory, theory of algorithms, computational complexity, etc. The volume also includes Adian's postgraduate study on descriptive set theory that was carried out under the supervision of P. S. Novikov. This study was published as a joint paper in a hardly accessible journal "Uchenye Zapiski MGPI im. V. I. Lenina" and has not yet been translated into English. The papers by foreign scientists are published in the original (in English).
The volume will be useful for mathematicians interested in the topical problems of mathematical logic, algebra, and theory of algorithms.
Full text:
Contents