Integrals and valuations

DOI10.4115/jla.2009.1.3zbMath1245.03098arXiv0808.1522OpenAlexW2099785642MaRDI QIDQ3621282

Thierry Coquand, Bas Spitters

Publication date: 15 April 2009

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0808.1522

zbMATH Keywords

Riesz representation theoremintegrationlocalesRiesz spacegeometric logicvector latticeconstructive analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05)

Related Items (12)

Continuity and geometric logic ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Bohrification of operator algebras and quantum logic ⋮ Presenting de Groot duality of stably compact spaces ⋮ Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Locatedness and overt sublocales ⋮ An effect-theoretic account of Lebesgue integration ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Unnamed Item ⋮ A topos for algebraic quantum theory

This page was built for publication: Integrals and valuations