Institut Mittag-Leffler
The Royal Swedish Academy of Sciences


Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R


How to Define Measure of Borel Sets
Source file as TeX DVI Data Postscript Document Portable Document Format

Thierry Coquand

Preprint series: Mathematical Logic - 2000/2001, No. 29

MSC 2000

03F55 Intuitionistic mathematics
03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
46E40 Spaces of vector- and operator-valued functions

Keywords: Borel's measure problem, constructive measure thery, Riesz spaces