Mathematical Logic Manuscripts