. . "computational complexity; random variables; mathematical analysis"@en . "We develop a new method for constructing models of bounded arithmetic and apply it to proof complexity." . "1"^^ . . . "Forcing with random variables and proof complexity"@en . "Forcing with random variables and proof complexity"@en . "RIV/67985840:_____/11:00369674!RIV12-AV0-67985840" . . . "P(IAA100190902), P(IAA1019401), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)" . . "1"^^ . . . "Cambridge University Press" . . "Kraj\u00ED\u010Dek, Jan" . . "RIV/67985840:_____/11:00369674" . . . "Forcing with random variables and proof complexity" . "247"^^ . "Cambridge" . "200096" . . . . . "Forcing with random variables and proof complexity" . "978-0-521-15433-8" . . . "London Mathematical Society Lecture Note Series, 382" . . "247"^^ . . "[C655AA92392E]" . "Forcing with random variables and proof complexity" . "We develop a new method for constructing models of bounded arithmetic and apply it to proof complexity."@en .