Studies in Minimal Mathematics
Noor Heerkens
Abstract:
This thesis is a study of minimal mathematics, i.e., mathematics on the basis of minimal logic. We will explore different methods of working in mathematical systems that are based on minimal logic. Special emphasis will be given to finding out which results of and about intuitionistic mathematics still hold in the context of minimal logic, and where the differences lie compared to intuitionistic mathematics.