Logics and Admissible Rules of Constructive Set Theories

Abstract

We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide examples of a number of set theories that are extensible. This article is part of the theme issue ‘Modern perspectives in Proof Theory’.