TY - RPRT TI - The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$ AU - Juan M Santiago Suárez AU - Matteo Viale PY - 2026 UR - https://arxiv.org/abs/2507.21005 ID - 2507.21005 ER -