Дальнейшее развитие теории экзистенциальной и позитивной экзистенциальной замкнутости и изучение важных сопутствующих понятий таких, как форсинг– и индуктивный компаньоны. Формирование новых направлений и вопросов. Изучение формул и теорий малой кванторной сложности.
