Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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č