Forcing with random variables and proof complexity - Krajicek, Jan (Cambridge, 2010)
Keywords: Mathematics