Thank you for the reference on forcing. Will read it carefully. > This line of research hasn't gone very well in practice since Gödel's time. It has produced a

Thank you for the reference on forcing. Will read it carefully. > This line of research hasn't gone very well in practice since Gödel's time. It has produced a lot of interesting set theory, but has not really impacted mathematics at large. What about Hugh Woodin's work? I agree that it has not had impact yet, but do you think it might lead along this suggested line?