Невыводимость принципа униформизации из тезиса Черча в интуиционистской теории множеств

В работе доказывается, что в двусортной теории множеств без аксиомы объемности и с тезисом Черча не выводится принцип униформизации. Для доказательства строится специальная модель типа реализуемости для теории множеств, в которой выполняются все аксиомы (исключая объемность) теории Цермело–Френкеля, тезис Черча с выбором и оказывается ложным принцип сильной униформизации. Библиогр. 5 назв.