Integrals and Valuations

Simple item page
dc.creatorCoquand, Thierry
dc.creatorSpitters, Bas
dc.date2008-08-11
dc.date2009-04-01
dc.date.accessioned2026-07-07T12:58:20Z
dc.date.available2026-07-07T12:58:20Z
dc.descriptionWe 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.
dc.descriptionSubmitted for publication 15/05/08
dc.identifierhttps://arxiv.org/abs/0808.1522
dc.identifierhttp://arxiv.org/abs/0808.1522
dc.identifierLogic and Analysis (2009) 1(3) p.1-22
dc.identifierdoi:10.4115/jla.2009.1.3
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/225209
dc.subjectLogic
dc.subjectCategory Theory
dc.subject06D22;28C05; 03F60
dc.titleIntegrals and Valuations
dc.typetext

Files

Collections

arXiv