Back to Search Start Over

Integrals and Valuations

Authors :
Bas Spitters
Thierry Coquand
Source :
Journal of Logic and Analysis, 1, 3, pp. 1-22, Journal of Logic and Analysis, Vol 1, Iss 0 (2009), Journal of Logic and Analysis, 1, 1-22
Publication Year :
2008
Publisher :
arXiv, 2008.

Abstract

We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric theories and show that they are biinterpretable. The constructions are elementary and tightly connected to the Riesz space structure.<br />Comment: Submitted for publication 15/05/08

Details

ISSN :
17599008
Database :
OpenAIRE
Journal :
Journal of Logic and Analysis, 1, 3, pp. 1-22, Journal of Logic and Analysis, Vol 1, Iss 0 (2009), Journal of Logic and Analysis, 1, 1-22
Accession number :
edsair.doi.dedup.....8ceb43d334fa642564e79e86d996d492
Full Text :
https://doi.org/10.48550/arxiv.0808.1522