Finite Projective Formulas Nick Arevadze Abstract: