Варианты аксиомы выбора в простой теории типов

В работе исследуется аксиома выбора на различных слоях простой теории типов. Доказано, что для любого $n$ из непротиворечивости теории $ZF$ следует непротиворечивость простой теории типов, к которой добавлены аксиома выбора для $n$-го слоя и отрицание аксиомы выбора для $(n+1)$-го слоя. Для доказательства используется метод форсинга. Библ. 3 назв.