Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств

Основные исследования в области интуиционистской теории множеств ведутся с 70-х гг. прошлого века и касаются, в частности, совместности этой теории с дополнительными принципами конструктивной математики, такими, как тезис Черча, принцип Маркова, принцип униформизации. Для таких теорий исследуются также такие свойства как дизъюнктивность и экзистенциальность.
В докладе предлагается некоторая модификация понятия так называемой реализуемости Майхилла, которая позволяет доказать свойства дизъюнктивности и экзистенциальности для интуиционистской теории множеств с тезисом Черча, сохраняя также реализуемость аксиомы объемности и ряда принципов интуиционистского характера.