Search

Author:

Basu, Sankha Subhra

Title:

A Model of Intuitionism based on Turing Degrees

Graduate Program:

Mathematics

Keywords:

intuitionism
higher-order logic
sheaf models
Turing degrees
mass problems
Muchnik degrees

File:

Download Basu-thesis.pdf

Committee Members:

Stephen George Simpson, Dissertation Advisor/Co-Advisor
Stephen George Simpson, Committee Chair/Co-Chair
John Roe, Committee Member
Jan Severin Reimann, Committee Member
Sean Hallgren, Special Member