Wiskundige theorieën met 'spaarzame' ontologieën: hun sterktes en beperkingen

Het voornaamste doel bestaat erin om verschillende nominalistische aanpakken voor de waarheid van wiskundige theorieën op hun plausibiliteit te beoordelen en om een nieuwe dergelijke aanpak te ontwikkelen die toelaat om prima facie hogere-orde quantificatie te herleiden tot modale beweringen over de taal.