Počet záznamů: 1

Forcing with Random Variables and Proof Complexity

  1. 1.
    0369674 - MU-W 2012 RIV GB eng B - Monografie kniha jako celek
    Krajíček, Jan
    Forcing with Random Variables and Proof Complexity.
    1st ed. - Cambridge: Cambridge University Press, 2011. 247 s. London Mathematical Society Lecture Note Series, 382. ISBN 978-0-521-15433-8
    Grant CEP: GA AV ČR IAA100190902; GA MŠk LC505; GA AV ČR IAA1019401
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: computational complexity * random variables * mathematical analysis
    Kód oboru RIV: BA - Obecná matematika
    http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB

    We develop a new method for constructing models of bounded arithmetic and apply it to proof complexity.
    Trvalý link: http://hdl.handle.net/11104/0203685