Loomis-Sikorski theorem and Stone duality for effect algebras with internal state (Q549351): Difference between revisions

Following [\textit{T. Flaminio} and \textit{F. Montagna}, ``MV-algebras with internal states and probabilistic fuzzy logic'', Int. J. Approx. Reasoning 50, No. 1, 138--152 (2009; Zbl 1185.06007)], the language of MV-algebras has been extended by adding an idempotent automorphism \(\tau\), called a state-operator. Now, this notion is extended to effect algebras in three ways which coincide for MV-algebras: (i) state-operator, (ii) strong state-operator, and (iii) state-morphism-operator. Additionally, \(n\)-state effect algebras are considered, where the idempotency, \(\tau\circ\tau=\tau\), is weakened to \(\tau^n=\tau\). The Loomis-Sikorski theorem is generalized to monotone \(\sigma\)-complete \(n\)-state effect algebras with the Riesz decomposition property. A Stone duality-type theorem is proved: the category of divisible state-morphism effect algebras satisfying the Riesz decomposition property and countable interpolation with an order-determining system of states is dual to the category of Bauer simplices whose sets of all extremal states are F-spaces.