Logics and Admissible Rules of Constructive Set Theories
Logic
2022-12-07 v1
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.
Cite
@article{arxiv.2212.03105,
title = {Logics and Admissible Rules of Constructive Set Theories},
author = {Rosalie Iemhoff and Robert Passmann},
journal= {arXiv preprint arXiv:2212.03105},
year = {2022}
}