Student Papers from an Intuitionistic Logic Project Nick Bezhanishvili, Lena Kurzen, Rachel Sterken Abstract: These technical notes were compiled as part of the Intuitionistic Logic Project of the Master of Science in Logic Program of the ILLC in January 2006. The students participating in the project each contributed their final papers to these notes. The project was supervised by Nick Bezhanishvili and these Technical Notes were edited by Nick Bezhanishvili, Lena Kurzen and Rachel Sterken. Contents: ML is not finitely axiomatizable over Cheq Gaëlle Fontaine Frame-based Completeness of Intermediate Logics Tyler Greene Intermediate logics and finite frames Anton Hedin, Petter Remen Interpolation in Intermediate Logics Ansten Mørch Klev Computational Complexity of Intuitionistic Propositional Logic and Intermediate Logics Lena Kurzen, Rachel Sterkenr Keywords: intuitionistic logic