Sobolev Institute of Mathematics
, Laboratory of Computability Theory and Applied Logic
4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia
Ph.D. in Mathematical Logic, Algebra and Number Theory; Sobolev Institute of Mathematics,
thesis: Levels of autostability for Boolean algebras
thesis supervisor: Sergey Goncharov
B.Sc. in Mathematics, Novosibirsk State University
My profile on Math-Net.ru.
My research deals mainly with the following topics of computable model theory:
- autostability relative to strong constructivizations (decidable categoricity) for decidable structures,
- effective categoricity for Boolean algebras,
- computability-theoretic properties of Boolean algebras with distinguished endomorphisms.