The intuitionistic alternative set theory (Q1208081)

Two intuitionistic adaptations of alternative set theory are described. A lot of techniques and assertions are overworked and investigated from the intuitionistic point of view. The principal ideas of AST are discussed from this point of view, too. I have not found any new substantial result or technique concerning AST in the paper. Not being an intuitionist, I am not able to estimate if the given adaptations are immediate or a lot of effort had to be devoted to them.