 For more on Gödel’s program and on Gödel’s program relative to the CH the reader is referred e.g., to Steel forthcoming and Feferman et al. 2000. For more on Gödel’s result, its history , and its significance the reader is referred to Floyd/Kanamori 2006 and Kennedy 2006.