A localic theory of lower and upper integrals
From MaRDI portal
Publication:5448621
DOI10.1002/malq.200710028zbMath1133.06009OpenAlexW2144063313MaRDI QIDQ5448621
Publication date: 7 March 2008
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/2919657/integration.pdf
Related Items (9)
Continuity and geometric logic ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Topos models for physics and topos theory ⋮ Presenting de Groot duality of stably compact spaces ⋮ Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration ⋮ Measure theory over boolean toposes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A topos for algebraic quantum theory
Cites Work
This page was built for publication: A localic theory of lower and upper integrals
