 | Institut Mittag-Leffler The Royal Swedish
Academy of Sciences |
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