From Haar to Lebesgue via Domain Theory

DOI10.1007/978-3-319-06880-0_11zbMath1414.28024arXiv1504.00134OpenAlexW76100056MaRDI QIDQ5418965

Michael W. Mislove, William Rea Brian

Publication date: 2 June 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Stone dualityCantor setHaar measurecompact groupLebesgue measureCantor map

Mathematics Subject Classification ID

Compact groups (22C05) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Limits, profinite groups (20E18)

Related Items

Every infinite compact group can have a non-measurable subgroup ⋮ Domains and stochastic processes

Cites Work

• Unnamed Item
• Unnamed Item
• CPO's of measures for nondeterminism
• Domain theory in logical form
• Topology, domain theory and theoretical computer science
• Stone Duality and the Recognisable Languages over an Algebra
• Duality and Equational Theory of Regular Languages
• Probability measures in topology
• Continuous Lattices and Domains

This page was built for publication: From Haar to Lebesgue via Domain Theory