Follow
On the Existence and Disjunction Properties in Structural Set Theory. (arXiv:2312.03717v1 [math.LO]) http://arxiv.org/abs/2312.03717
On the Existence and Disjunction Properties in Structural Set Theory. (arXiv:2312.03717v1 [math.LO]) http://arxiv.org/abs/2312.03717