Measure, randomness and sublocales
From MaRDI portal
Publication:450959
DOI10.1016/j.apal.2011.12.014zbMath1253.06014MaRDI QIDQ450959
Publication date: 26 September 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.014
probability measure; Lebesgue measure; randomness; point-free topology; foundations of measure theory; foundations of probability theory; locale theory
60A99: Foundations of probability theory
06D22: Frames, locales
28E99: Miscellaneous topics in measure theory
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A duality involving Borel spaces
- Domain theory in logical form
- Measure extension theorems for \(T_{0}\)-spaces
- Extension of valuations on locally compact sober spaces
- Lattices with no interval homomorphisms
- A model of set-theory in which every set of reals is Lebesgue measurable
- \(\kappa\)-frames
- Algorithmic Randomness and Complexity
- An extension of the Galois theory of Grothendieck
- Quotient Frames and Subspaces
- The definition of random sequences
- Atomless Parts of Spaces.