Sobolev Institute of Mathematics, Laboratory of Computability Theory and Applied Logic

4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia

Research Fellow

bazhenov@math.nsc.ru

November 2014

Ph.D. in Mathematical Logic, Algebra and Number Theory; Sobolev Institute of Mathematics,

thesis:*Levels of autostability for Boolean algebras* [pdf in Russian],

thesis supervisor: Sergey Goncharov.

thesis:

thesis supervisor: Sergey Goncharov.

June 2010

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.