Jan Krajček

• Forcing with Random Variables and Proof Complexity