Logické a množinově-teoretické vlastnosti funkce kontinua
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Postdoktorandské granty
Veřejná soutěž
Postdoktorandské granty 9 (SGA02009GA1PD)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
201/09/P115
Alternativní jazyk
Název projektu anglicky
Logical and set-theoretical properties of the continuum function
Anotace anglicky
Set theory is both the framework for all mathematics and a mathematical discipline in its own right. The main focus of the project connects both these parts as it studies one of the basic concepts of set theory, i.e. how many there are subsets of a givenset depending on the richness of the structure of the universe of sets. More specifically, I will analyze the effects of existence of certain large cardinals on the function which assigns to each regular cardinal number the number of the subsets of thecardinal (so called Easton function). Further, I will study the behaviour of cardinal numbers and of cardinal arithmetics with the scope extended to include singular cardinal numbers as well. A part of the results was already published in a prestigious international journal Annals of Pure and Applied Logic [1]. On a broader scale, the project will study the possibility of extending the purely set-theoretical framework of the project to include other parts of mathematics, for instance recursion theory or proof theory. Last but not least, in cooperation with the KGRC research centre in Vienna and Mathematical institute AV CR, I plan to give a series of regular lectures on advanced set-theoretical topics to raise awareness of the set theory among generalmathematical audience. [1] Sy D. Friedman and Radek Honzik, Easton Function and Large Cardinals, Annals of Pure and Applied Logic (2008), doi:10.1016/j.apal.2008.02.001 (v tisku).
Vědní obory
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í dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Řešení projektu proběhlo na vynikající úrovni, a to jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.
Termíny řešení
Zahájení řešení
1. 1. 2009
Ukončení řešení
31. 12. 2011
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
16. 4. 2011
Dodání dat do CEP
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
CEP12-GA0-GP-U/03:3
Datum dodání záznamu
2. 5. 2016
Finance
Celkové uznané náklady
1 203 tis. Kč
Výše podpory ze státního rozpočtu
1 203 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč