Тонкая иерархия формул

Вводится и изучается иерархия формул, утончающая иерархию по числу перемен кванторов. Доказано, что построенная иерархия является в определенном смысле самой тонкой. Получено теоретико-модельное описание классов иерархии. Установлена связь иерархии формул с соответствующей тонкой иерархией множеств и задачей вычисления сложности индексных множеств. Это позволяет понять причины того, почему индексные множества с простыми определениями универсальны.