An Alternative Approach to the Complexity of the Disjunction Property in Intuitionistic Logic
Summary
This thesis is a treatise of a paper written by Sam Buss and Grigori Mints about the disjunction property for intuitionistic logic. It covers the paper and the problems with it, as well as the prerequisites needed for understanding the paper.