Teorie množin a matematická logika

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

—

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.

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í 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

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

—

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

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č