ManuscriptsAn exposition of parts of Jan Krajíček’s book Forcing with random variables and proof complexity, concentrating on lower bounds for constant depth proof systems.
Parts of this exposition has been given as talks in a reading group on the book on 13/6/2013 and 20/6/2013.
