Igor Lavrov

• Problems in set theory, mathematical logic, and the theory of algorithms