Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Website: https://math.nsc.ru/~asm256

Subject:

Computability and its relationship with definability, especially in the framework of admissible sets and model theory; admissible sets; groups of computable (definable) permutations; elementary theories of classes of groups; recursive model theory; Boolean algebras; theoretical computer science; computable topology.

Publications in Math-Net.Ru

Talks and lectures

Personal pages:

• 
• 
• 

Organisations:

• Novosibirsk State University, Mechanics and Mathematics Department
• Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk