Jan Krajíček

Forcing with random variables and proof complexity