In 1967 Scott published a paper, A Proof of the Independence of the Continuum Hypothesis, in which he used Boolean-valued models to provide an alternate analysis of the independence of the continuum hypothesis to that provided by Paul Cohen.
En 1967 Scott publicou un artigo, A Proof of the Independence of the Continuum Hypothesis, no que usaba modelos de valores booleanos como análise da independencia de hipóteses de continuo alternativo ó de Paul Cohen.