Metamathematics of arithmetic, complexity theory and set theory
Project goals
—
Keywords
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
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
Basic information
Recognised costs
102 CZK thou.
Public support
204 CZK thou.
200%
Provider
Academy of Sciences of the Czech Republic
CEP
9O - 9
Solution period
01. 01. 1993 - 01. 01. 1995