Category:Compactness Theorem for Boolean Interpretations