Integrals and valuations

We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of measures(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. 2000 Mathematics Subject Classification 06D22, 28C05

[1]  Alfred Tarski,et al.  The Sentential Calculus with Infinitely Long Expressions , 1958 .

[2]  Steven J. Vickers.  A localic theory of lower and upper integrals , 2008, Math. Log. Q..

[3]  W. Rudin.  Real and complex analysis , 1968 .

[4]  Thierry Coquand,et al.  Compact spaces and distributive lattices , 2003 .

[5]  A. Tarski,et al.  Algebraische Fassung des Maßproblems , 1938 .

[6]  Thierry Coquand,et al.  An intuitionistic proof of Tychonoff's theorem , 1992, Journal of Symbolic Logic.

[7]  Gian-Carlo Rota,et al.  Twelve problems in probability no one likes to bring up , 2001 .

[8]  M. Makkai,et al.  First order categorical logic , 1977 .

[9]  T. Coquand.  Geometric Hahn-Banach theorem , 2006, Mathematical Proceedings of the Cambridge Philosophical Society.

[10]  P. T. Johnstone,et al.  Tychonoff's theorem without the axiom of choice , 1981 .

[11]  Reinhold Heckmann,et al.  Probabilistic Power Domains, Information Systems, and Locales , 1993, MFPS.

[12]  M. Andrew Moshier,et al.  A Logic for Probabilities in Semantics , 2002, CSL.

[13]  S. Buss,et al.  Entailment relations and distributive lattices , 2000 .

[14]  Thierry Coquand,et al.  A logical approach to abstract algebra , 2006, Math. Struct. Comput. Sci..

[15]  Klaus Keimel,et al.  The probabilistic powerdomain for stably compact spaces , 2004, Theor. Comput. Sci..

[16]  Bas Spitters,et al.  Constructive algebraic integration theory without choice , 2005, Mathematics, Algorithms, Proofs.

[17]  Julian C. Bradfield.  Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic , 2002 .

[18]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[19]  T. Coquand.  About Stone's notion of spectrum , 2005 .

[20]  H. Crapo,et al.  Algebraic Combinatorics and Computer Science , 2001 .

[21]  Thierry Coquand,et al.  Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems , 2005, J. Univers. Comput. Sci..

[22]  Bernhard Banaschewski,et al.  A globalisation of the Gelfand duality theorem , 2006, Ann. Pure Appl. Log..

[23]  Thierry Coquand.  A note on measures with values in a partially ordered vector space , 2004 .

[24]  Thierry Coquand,et al.  Metric Boolean algebras and constructive measure theory , 2002, Arch. Math. Log..

[25]  C. J. Mulvey,et al.  The dual locale of a seminormed space , 1982 .

[26]  P. Johnstone.  Sketches of an Elephant: A Topos Theory Compendium Volume 1 , 2002 .

[27]  Steven J. Vickers.  Locales and Toposes as Spaces , 2007, Handbook of Spatial Logics.

[28]  Alfred Tarski,et al.  Measures in Boolean algebras , 1948 .