Forcing with random variables and proof complexity

Jan Krajicek

The material below is from a draft of the book (March 2010). There were some revisions (quite substantial at few places) and some more material was added, especially in Part VIII. Also the title is now shorter than the one in the draft. The symbol index is weak here regarding Chapter 22 and Part VIII, and the general and the name indices are not even compiled here yet.

In other words, the draft should give an idea of the contents and the style of the book but it cannot replace the published version.

I will appreciate comments on all aspects of this work.

Pdf and ps files.

Preface only.