1 Problems in set theory, mathematical logic and algorithm theory 2004 Lavrov I.