О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями

Доказано, что фрагмент интуиционистской логики конечных областей, состоящий из формул первого порядка, не содержащих дизъюнкции и квантора существования, совпадает с аналогичным фрагментом интуиционистской логики предикатов. Показано также наличие ослабенного варианта интерполяционного свойства и свойства Бета у этого фрагмента. Библиогр. 6.