Dana S. Scott A Proof of the Independence of the Continuum Hypothesis. 89-111 1967 1 Mathematical Systems Theory 2 db/journals/mst/mst1.html#Scott67