Jan Krajíček

• Forcing with Random Variables and Proof Complexity
• Proof Complexity