Set theory and mathematical logic
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 1 (SGA02002GA-ST)
Main participants
Matematický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Teorie množin a matematická logika
Annotation in Czech
Navrhovaný projekt se soustředí na teorii množin a na aplikace teorie množin v algebře. Hlavní oblasti navrhovaného výzkumu obsahují tato témata: forcing a velká kardinální čísla, elementární vnoření a levodistributivní struktury, stacionární množiny, úplné Booleovy algebry a teorie pcf.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The main result obtained during our work on the project is the solution of the long standingproblem of John von Neumann and Dorothy Maharam (1937, 1947). The article cited abovegives a characterization of Boolean algebras that admit a Maharam submeasure
Solution timeline
Realization period - beginning
Jan 1, 2002
Realization period - end
Jan 1, 2004
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2005/GA0/GA05GA/U/N/B:7
Data delivery date
Jun 2, 2008
Finance
Total approved costs
1,248 thou. CZK
Public financial support
345 thou. CZK
Other public sources
903 thou. CZK
Non public and foreign sources
0 thou. CZK