01.1998 - 12.2000 , Код проекта: РФФИ №98-01-00249 Специальность РФФИ 01-101 Математическая логика и основания математики