Logics and admissible rules of constructive set theories
Rosalie Iemhoff, Robert Paßmann · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2023
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'.