TY - RPRT TI - On the Existence and Disjunction Properties in Structural Set Theory AU - Mark Saving PY - 2025 UR - https://arxiv.org/abs/2312.03717 ID - 2312.03717 ER -