Jan Krajícek

• Bounded Arithmetic, Propositional Logic and Complexity Theory
• Forcing with Random Variables and Proof Complexity