Logics and Admissible Rules of Constructive Set Theories

Rosalie Iemhoff, Robert Passmann

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 log…