Kontinuum, forcing a velké kardinály

Poskytovatel
Grantová agentura České republiky
Program
Mezinárodní grantové projekty hodnocené na principu LEAD Agency
Veřejná soutěž
—
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.<br>Univerzita Karlova / Filozofická fakulta
Druh soutěže
M2 - Mezinárodní spolupráce
Číslo smlouvy
15-34700L

Název projektu anglicky
The continuum, forcing and large cardinals
Anotace anglicky
The work shall study interactions between large cardinals and forcing and combinatorial properties of the continuum. The work shall be divided into three subtopics: (1) "Combinatorial properties of cardinals and the continuum function". There is very little ZFC can prove about the continuum function on regulars. However, if we start to consider large cardinals, or in general combinatorial properties often formulated in the context of large cardinals (tree property, square principles, etc.), suddenly the situation is much more interesting. (2) "Combinatorial characteristics of the continuum and the Mathias forcing". This subtopic focuses on the real line from the point of certain combinatorial characteristics which shall be studied by means of the Mathias forcing. It is natural to study the connections between the combinatorial properties of filters and the properties of the real line. (3) "New developments in the template iterations." Template iterations is a modern forcing method with the potential to show new results regarding the combinatorial characteristics of the real line.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Závěrečné hodnocení projektů LA probíhá na základě dohody s rakouskou partnerskou agenturou Fonds zur Förderung der wissenschaftlichen Forschung (FWF), která je zároveň „Lead agenturou“ přiměřeně jako mezinárodní hodnocení ve smyslu ustanovení § 7 odst. 4 zákona č. 130/2002 Sb., o podpoře výzkumu, experimentálního vývoje a inovací, ve znění pozdějších předpisů, u této zahraniční agentury.

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP18-GA0-GF-U/03:1
Datum dodání záznamu
4. 3. 2020

Podobné projekty(10)