Forcing with random variables and Proof Complexity
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F11%3A10105303" target="_blank" >RIV/00216208:11320/11:10105303 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/67985840:_____/11:00369674
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Forcing with random variables and Proof Complexity
Popis výsledku v původním jazyce
We develop a new method for constructing models of bounded arithmetic and apply it to proof complexity.
Název v anglickém jazyce
Forcing with random variables and Proof Complexity
Popis výsledku anglicky
We develop a new method for constructing models of bounded arithmetic and apply it to proof complexity.
Klasifikace
Druh
B - Odborná kniha
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
ISBN
978-0-521-15433-8
Počet stran knihy
264
Název nakladatele
Cambridge university press
Místo vydání
Cambridge
Kód UT WoS knihy
—