2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/225209We 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.Submitted for publication 15/05/08LogicCategory Theory06D22;28C05; 03F60text