Codensity, profiniteness and algebras of semiring-valued measures
We show that, if S is a finite semiring, then the free profinite S-semimodule on a Boolean Stone space X is isomorphic to the algebra of all S-valued measures on X, which are finitely additive maps from the Boolean algebra of clopens of X to S. These algebras naturally appear in the logic approach t...
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Idioma: | English |
| Publicado em: |
Elsevier
2019
|