101 citations · 491 across the 53 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
Computing Haar Measures
Arno Pauly, Dongseong Seon, Martin Ziegler
According to Haar's Theorem, every compact group admits a unique (regular, right and) left-invariant Borel probability measure . Let the Haar integral (of ) denote the…
cs.LO2019★ 2 cited
Effective local compactness and the hyperspace of located sets
Arno Pauly
We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric s…