Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory

DOI10.1017/9781009039888.017OpenAlexW4367837200MaRDI QIDQ6116079

Francesco Ciraulo

Publication date: 11 August 2023

Published in: Handbook of Constructive Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/9781009039888.017

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

This page was built for publication: Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory