On some axioms deciding the Continuum Hypothesis
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F17%3A10362095" target="_blank" >RIV/00216208:11210/17:10362095 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On some axioms deciding the Continuum Hypothesis
Popis výsledku v původním jazyce
The continuum hypothesis (CH) is the claim 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 will focus on a couple of attempts to decide CH and also GCH (generalized continuum hypothesis) in the sense of finding a natural axiom which decides CH or GCH over ZFC. We will mention Shelah's and Woodin's positions and discuss them in the context of one particular axiom: the tree property at aleph_2, a combinatorial property of cardinals, which decides CH negatively.
Název v anglickém jazyce
On some axioms deciding the Continuum Hypothesis
Popis výsledku anglicky
The continuum hypothesis (CH) is the claim 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 will focus on a couple of attempts to decide CH and also GCH (generalized continuum hypothesis) in the sense of finding a natural axiom which decides CH or GCH over ZFC. We will mention Shelah's and Woodin's positions and discuss them in the context of one particular axiom: the tree property at aleph_2, a combinatorial property of cardinals, which decides CH negatively.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2017
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů