Počet záznamů: 1

Forcing with Random Variables and Proof Complexity

SYSNO ASEP	0369674
Druh ASEP	B - Monografie
Zařazení RIV	B - Odborná monografie, kniha
Název	Forcing with Random Variables and Proof Complexity
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Vyd. údaje	Cambridge: Cambridge University Press, 2011
ISBN	978-0-521-15433-8
Edice	London Mathematical Society Lecture Note Series
Č. sv. edice	382
Poč.str.	247 s.
Poč.výt.	500
Jazyk dok.	eng - angličtina
Země vyd.	GB - Velká Británie
Vydání	1st ed.
Klíč. slova	computational complexity ; random variables ; mathematical analysis
Vědní obor RIV	BA - Obecná matematika
CEP	IAA100190902 GA AV ČR - Akademie věd
	LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
	IAA1019401 GA AV ČR - Akademie věd
CEZ	AV0Z10190503 - MU-W (2005-2011)
Anotace	We develop a new method for constructing models of bounded arithmetic and apply it to proof complexity.
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	2012

Počet záznamů: 1