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

4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia

Senior Researcher

bazhenov [at] 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 profiles: MathSciNet, Google Scholar, ResearchGate, Math-Net.ru.

My research deals mainly with the following topics of computable model theory:

- effective categoricity for computable structures,
- autostability relative to strong constructivizations (decidable categoricity) for decidable structures,
- computability-theoretic properties for signature enrichments of Boolean algebras.