Teorie množin a matematická logika
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 1 (SGA02002GA-ST)
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Set theory and mathematical logic
Anotace anglicky
The proposed research will concentrate on set theory and on applications of set theory in algebra. The major topics of research will include the foolowing areas: forcing and large cardinals, left-distributive algebras and elementary embeddings, stationary sets, complete Boolean algebras and the pcf theory.
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
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Hlavním výsledkem projektu je řešení problému J. von Neumanna a D. Maharamové z r. 1937 a 1947. V citované práci jsme podali charakterizaci Booleových algeber s Maharamovou submírou, a ukázali, že problém von Neumanna -Maharamové je konsistentní. Článek
Termíny řešení
Zahájení řešení
1. 1. 2002
Ukončení řešení
1. 1. 2004
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
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
CEP/2005/GA0/GA05GA/U/N/B:7
Datum dodání záznamu
2. 6. 2008
Finance
Celkové uznané náklady
1 248 tis. Kč
Výše podpory ze státního rozpočtu
345 tis. Kč
Ostatní veřejné zdroje financování
903 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč