论文标题
逻辑和可接受的建设性设置理论规则
Logics and Admissible Rules of Constructive Set Theories
论文作者
论文摘要
我们调查建设性设定理论的逻辑结构，并指向未来研究的方向。此外，我们分析了给定建设性集理论的逻辑结构可扩展的后果。我们最终提供了许多可扩展的设定理论的示例。
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.
