This document is Mark Zuckerberg's 2004 PhD thesis from Columbia University titled "A Set Theoretic Approach to Lifting Procedures for 0, 1 Integer Programming". The thesis introduces a new lifting procedure for 0,1 integer programming problems that appends variables corresponding to logical statements about vectors in the feasible region. It is shown that this lifting generalizes previous approaches and provides a broader framework. The thesis suggests several polynomial time algorithms that exploit structure in the feasible set by tailoring new variable choices. Notable is producing in polynomial time a linear system whose solutions satisfy constraints on the feasible set with coefficients in {0,1,...,k}.