@arxivlens.bsky.social

8 months ago

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
Juan M Santiago Suárez, Matteo Viale
Paper
Details
#BooleanCompactnessTheorem #L_inftyinfty #MathematicalLogic