New answers tagged

7 votes

Is GCH useful in proving theorems?

Dixmier traces are easily constructed in ZFC and there is an extensive literature on the topic. Connes pointed out that such a trace with particularly good properties can be constructed in the ...
Mikhail Katz's user avatar
  • 14.9k
20 votes

Is GCH useful in proving theorems?

One surprising (at least to me) area where the GCH enters is the following piece of homological algebra. Let $k$ be a field of cardinality $\aleph_n$. Then Barbara Osofsky proved that the projective ...
Dave Benson's user avatar
  • 9,621

Top 50 recent answers are included