Logické a množinově-teoretické vlastnosti funkce kontinua

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

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).

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

Ř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ů.

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

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

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č