Фильтрующиеся формулы

Устанавливаются некоторые теоремы переноса для нормальных оценок, описывается класс формул, для которых понятия истинности и глобальной истинности совпадают. Основная теорема — синтаксическое описание фильтрующихся формул. Как следствие дается синтаксическое описание фильтрующихся формул по некоторым фильтрам.