A homepage of Andrey Bovykin


I am a new member of the Mathematics Department, working as a Research Fellow in the group of Logic and Set Theory.

My research is in the interdisciplinary field of Logical Strength and Unprovability (the study of mathematical statements that cannot be proved or refuted).

I am also doing some teaching at the department: In 2008/2009 I was lecturing for the Set Theory (MATH32000) Advanced Axiomatic Set Theory (MATH M1300) and Logic (MATH 30100). This academic year (2009/2010) I am teaching the Logic Course again. See my TEACHING PAGE for all materials.

I am in the office G.5 (on the ground floor of the Mathematics building).

This temporary page will [in due course] be replaced by a more permanent-looking page. In the meanwhile you can have a look here: my very old out-of-date page in Steklov Mathematical Institute, St.Petersburg.


Set Theory course
Autumn 2008

Axiomatic Set Theory course
Autumn 2008

Bristol Logic course

Foundations of
Mathematics Meeting
December 2009

Andrey's
Old Homepage