Charles Explorer logo
🇨🇿

Wodin(s) solution of CH

Publikace na Filozofická fakulta |
2016

Abstrakt

The continuum hypothesis says that any subset of the real numbers is at most countable or has the same size as the set of all real numbers. By the results of Godel and Cohen this hypothesis is independent over ZFC if ZFC is consistent.

In the talk we focus on the atempt of Woodin to solve CH in the sense of finding a natural theory extending ZFC which decides CH.