Jan Krajíček - slides accompanying some recent lectures

[Note that the slides are not whole talks but only accompany them.]

  • Hilbert's problems and contemporary mathematical logic (Prague, February 2016),

  • Proof complexity ( PhD students meeting, Prague, May 2018),

  • The nature of proof complexity (Oxford, July 2018),

  • Pseudofinite and Euler structures (Pultr's meeting, Prague, October 2018),

  • Logical foundations of complexity theory (Cook's meeting, Toronto, May 2019),

  • What is proof complexity? (16.Congress LMPST, Prague, August 2019),

  • Model theory and proof complexity (Logic Colloquium, Prague, August 2019)