Charles Explorer logo
🇬🇧

Wodin(s) solution of CH

Publication at Faculty of Arts |
2016

This text is not available in the current language. Showing version "cs".Abstract

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.