Can you add power-sets to MartinLöf’s intuitionistic set theory (1999)

by M E Maietti, S Valentini
Venue:Math. Logic Quarterly