New answers tagged gch
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 ...
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 ...
Top 50 recent answers are included
Related Tags
set-theory × 19gch × 19
lo.logic × 9
inner-model-theory × 3
continuum-hypothesis × 3
forcing × 2
large-cardinals × 2
constructibility × 2
reference-request × 1
ho.history-overview × 1
axiom-of-choice × 1
nonstandard-analysis × 1
cardinal-arithmetic × 1