  As realisability techniques have proved crucial in investigations on the existence and disjunction properties for constructive and intuitionistic set theories, we discuss the outcomes of these studies in the next section.