Vše
Vše

Co hledáte?

Vše
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”
MEB061106

Definovatelnost a ideály

Cíle projektu

Cílem projektu je formulovat několik původních výsledků v teorii definovatelného forcingu, který spojuje metody z teorie proper-forcingu s deskriptivní teorií množin a matematickou analýzou. Mnoho z těchto forcingu lze zobecnit na větší kardinály: dalšímcílem projektu je zkoumat toto zobecnění.

Klíčová slova

Descriptive set theoryBorel equivalance relationsforcing theorylarge cardinalsBoolean algebras

Veřejná podpora

  • Poskytovatel

    Ministerstvo školství, mládeže a tělovýchovy

  • Program

    KONTAKT

  • Veřejná soutěž

  • Hlavní účastníci

  • Druh soutěže

    M2 - Mezinárodní spolupráce

  • Číslo smlouvy

    9166/2011-320

Alternativní jazyk

  • Název projektu anglicky

    Definability and ideals

  • Anotace anglicky

    The goal of the project is to formulate original results in the theory of the definable forcing, which connects the methods from the proper-forcing theory with the descriptive set theory and mathematical analysis. Many of natural forcings can be generalized to larger cadinals: another goal of the project is to study this generalization.

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
    (dle převodníku)

    10101 - Pure mathematics

Hodnocení dokončeného projektu

  • Hodnocení poskytovatelem

    U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

  • Zhodnocení výsledků projektu

    Projekt je realizován v rámci Aktivity MOBILITY, jejímž hlavním cílem je navázání a prohlubování kontaktů se zahraničními výzkumnými institucemi. Neprobíhá tedy kontrola dílčích výstupů projektu prostřednictvím hodnotící komise, avšak je kontrolována sp?

Termíny řešení

  • Zahájení řešení

    1. 1. 2011

  • Ukončení řešení

    31. 12. 2012

  • Poslední stav řešení

    U - Ukončený projekt

  • Poslední uvolnění podpory

    9. 2. 2012

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

    CEP13-MSM-ME-U/01:1

  • Datum dodání záznamu

    28. 6. 2013

Finance

  • Celkové uznané náklady

    138 tis. Kč

  • Výše podpory ze státního rozpočtu

    138 tis. Kč

  • Ostatní veřejné zdroje financování

    0 tis. Kč

  • Neveřejné tuz. a zahr. zdroje finan.

    0 tis. Kč

Základní informace

Uznané náklady

138 tis. Kč

Statní podpora

138 tis. Kč

100%


Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

CEP

BA - Obecná matematika

Doba řešení

01. 01. 2011 - 31. 12. 2012