Mathematics – Logic
Scientific paper
2008-08-11
Logic and Analysis (2009) 1(3) p.1-22
Mathematics
Logic
Submitted for publication 15/05/08
Scientific paper
10.4115/jla.2009.1.3
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.
Coquand Thierry
Spitters Bas
No associations
LandOfFree
Integrals and Valuations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Integrals and Valuations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Integrals and Valuations will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-493216