Author: Bas Spitters
Title: Pointfree Integration Theory without Choice
Abstract:
In this talk I will present a choice-free and point-free development of parts
of Bishop's integration theory, culiminating in an easy proof of the spectral
theorem. This proof is based on Coquand's constructive version of the Stone
representation theorem combined with some elementary theory of f-rings.