Универсальные рекурсивно перечислимые булевы алгебры
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
Формальные трансляции
Фридбергеровские нумерации семейств -вычислимо перечислимых множеств.
Функциональные деревья и автоморфизмы моделей
Эндоморфизмы группы всех рекурсивных перестановок.
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
Эффективно бесконечные классы слабых конструктивизаций моделей
Эффективные операции выбора на конструктивных и позитивных моделях