1. A Model of Intuitionism based on Turing Degrees Open Access Author: Basu, Sankha Subhra Title: A Model of Intuitionism based on Turing Degrees Graduate Program: Mathematics Keywords: intuitionismhigher-order logicsheaf modelsTuring degreesmass problemsMuchnik degrees File: Download Basu-thesis.pdf Committee Members: Stephen George Simpson, Dissertation Advisor/Co-AdvisorStephen George Simpson, Committee Chair/Co-ChairJohn Roe, Committee MemberJan Severin Reimann, Committee MemberSean Hallgren, Special Member