Metamathematics of arithmetic, complexity theory and set theory
Public support
Provider
Academy of Sciences of the Czech Republic
Programme
Grants of distinctly investigative character focused on the sphere of research pursued at present particularly in the Academy of Sciences of the Czech Republic
Call for proposals
—
Main participants
Matematický ústav AV ČR, v. v. i.
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Metamatematika aritmetiky, teorie složitosti a teorie množin
Annotation in Czech
Toto je projekt základního výzkumu v následujících oblastech: (1) omezená aritmetika, (2) složitost výrokového počtu, (3) složitost booleovských obvodů a (4) Alternativní teorie množin.
Scientific branches
R&D category
—
CEP classification - main branch
9O - 9
CEP - secondary branch
BA - General mathematics
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
—
Project results evaluation
XXX
Solution timeline
Realization period - beginning
Jan 1, 1993
Realization period - end
Jan 1, 1995
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/1996/AV0/AV06IA/V/1:1
Data delivery date
—
Finance
Total approved costs
102 thou. CZK
Public financial support
204 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK