THEORY OF ABELIAN OPERATOR ALGEBRAS: AN APPLICATION OF FORCING BY THOMAS J. JECH1 Abstract. The abstract abelian operator theory is developed from a general standpoint, using the method of forcing and Boolean-valued models. The abstract abelian operator theory is developed from a general standpoint, using the method of forcing and Boolean-valued models.