TY - RPRT TI - Reduced Set Theory AU - Matthias Kunik PY - 2026 UR - https://arxiv.org/abs/2311.18551 ID - 2311.18551 ER -