TY - RPRT TI - Positively closed $Sh(B)$-valued models AU - Kristóf Kanalas PY - 2026 DO - 10.1016/j.apal.2026.103726 UR - https://arxiv.org/abs/2409.11231 ID - 2409.11231 ER -