A topological Mundici representation theorem
Source: arxiv.org/abs/2611.05786
We lift Mundici's equivalence between MV-algebras and abelian $\ell$-groups with a strong unit to the topological setting. To this end, we prove that, for every topological MV-algebra, the associated Mundici group can be endowed with a topology that extends the topology of the MV-algebra and makes it into an abelian topological $\ell$-group. Among such topologies there is a finest one; we identify this topology as the topological-group reflection of the bounded-stage final topology, and construct an explicit zero-neighbourhood base in terms of the original MV-algebra topology. Using this…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.05786
curl -X POST /api/v1/records/arxiv/2611.05786/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.05786/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'