References & Citations
Mathematics > Logic
Title: The two-sorted algebraic theory of states, and the universal states of MV-algebras
(Submitted on 2 Jan 2020 (v1), last revised 23 Aug 2020 (this version, v3))
Abstract: We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian lattice-groups with (strong order) unit. We discuss free states, and their relation to the universal state of an~MV-algebra. We clarify the relationship of such universal states with the theory of affine representations of lattice-groups. Main result: The universal state of any locally finite MV-algebra---in particular, of any Boolean algebra---has semisimple codomain.
Submission history
From: Tomáš Kroupa [view email][v1] Thu, 2 Jan 2020 08:01:15 GMT (22kb)
[v2] Fri, 31 Jul 2020 19:47:28 GMT (25kb)
[v3] Sun, 23 Aug 2020 09:51:23 GMT (26kb)
Link back to: arXiv, form interface, contact.