MoL-2018-08: Studies in Minimal Mathematics

MoL-2018-08: Heerkens, Noor (2018) Studies in Minimal Mathematics. [Report]

[thumbnail of MoL-2018-08.text.pdf]
Preview
Text
MoL-2018-08.text.pdf

Download (802kB) | Preview

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.

Item Type: Report
Report Nr: MoL-2018-08
Series Name: Master of Logic Thesis (MoL) Series
Year: 2018
Subjects: Logic
Mathematics
Depositing User: Dr Marco Vervoort
Date Deposited: 16 Aug 2018 13:55
Last Modified: 16 Aug 2018 13:55
URI: https://eprints.illc.uva.nl/id/eprint/1621

Actions (login required)

View Item View Item