Skip to main content
Post Made Community Wiki
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

There is definitely a not-CH tendency among set theorists with a strong Platonist bent, and my impression is that this is the most common view. Many of these set theorists believe that the large cardinal hierarchy and the accompanying uniformization consequences are pointing us towards the final, true set theory, and that the various forcing axioms, such as PFA, MM etc. are a part of it.

Another large group of set theorists working in the area of inner model theory have GCH in all the most important models that they study, and regard GCH as one of the attractive regularity features of those inner models.

There is a far smaller group of set theorists (among whom I count myself) with a multiverse perspective, who take the view that set theory is really about studying all the possible universes that we might live in, and studying their inter-relations. For this group, the CH question is largely settled by the fact that we understand in a very deep way how to move fom the CH universes to the not-CH universes and vice versa, by the method of forcing. They are each dense in a sense in the collection of all set-theoretic universes.