Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-27T19:56:30.123Z Has data issue: false hasContentIssue false
  • English
  • Français

Loomis-Sikorski theorem for monotone σ-complete effect algebras

Part of: Distributive lattices Algebraic logic General logic Boolean algebras (Boolean rings)

Published online by Cambridge University Press:  09 April 2009

Anatolij Dvurečenskij
Anatolij Dvurečenskij
Affiliation:
Mathematical Institute, Slovak Academy of Sciences, Štefánikova 49, SK-814 73 Bratislava, Slovakia, e-mail: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We show that monotone σ -complete effect algebras under some conditions are σ - homomorphic images of effect-tribes (as monotone σ -complete effect algebras), which are nonempty systems of fuzzy sets closed under complements, sums of fuzzy sets less than 1, and containing all pointwise limits of nondecreasing fuzzy sets. Because effect-tribes are generalizations of Boolean σ -algebras of subsets, we present a generlization of the Loomis-Sikorski theorem for such effect algebras. We show that we can choose an effect-tribe to be a system of affin fuzzy sets. In addition, we present a new version of the Loomis-Sikorski theorem for σ-complete MV-algebras.

Keywords

effect algebramonotone σ-complete effect algebraMV-algebraeffect-tribetribeRiesz decomposition propertyLoomis-Sikorski theorempo-groupℓ-groupaffine function

MSC classification

Secondary: 06D35: MV-algebras 03G12: Quantum logic 03B50: Many-valued logic
Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 79 , Issue 3 , December 2005 , pp. 305 - 318
Copyright
Copyright © Australian Mathematical Society 2005

References

[1]Chang, C. C., ‘Algebraic analysis of many valued logics’, Trans. Amer. Math. Soc. 88 (1958), 467–490.CrossRefGoogle Scholar
[2]Dvurečenskij, A., ‘Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups’, preprint.Google Scholar
[3]Dvurečenskij, A., ‘Loomis-Sikorski theorem for σ-complete MV-algebras and ℓ-groups’, J. Austral. Math. Soc. Ser. A 68 (2000), 261–277.CrossRefGoogle Scholar
[4]Dvuterčenskij, A and Pulmannová, S., New trends in quantum structures (Kluwer Acad. Publ., Dordrecht, Ister Science, Bratislava, 2000).CrossRefGoogle Scholar
[5]Dvurečenskij, A. and Vetterlein, T., ‘Pseudoeffect algebras. II. Group representation’, Int. J. Theor. Phys. 40 (2001), 703–726.CrossRefGoogle Scholar
[6]Foulis, D. J. and Bennett, M. K., ‘Effect algebras and unsharp quantum logics’, Found. Phys. 24 (1994), 1325–1346.CrossRefGoogle Scholar
[7]Goodearl, K. R., Partially ordered Abelian groups with interpolation, Math. Surveys Monogr. 20 (Amer. Math. Soc., Providence, RI, 1986).Google Scholar
[8]Kôpka, F. and Chovanec, F., ‘D-posets’, Math. Slovaca 44 (1994), 21–34.Google Scholar
[9]Kuratowaski, K., Topology l, (in Russian) (Mir, Moskva, 1966).Google Scholar
[10]Mundici, D., ‘Interpretation of AF C*-algebras in Łukasiewicz sentential calculus’, J. Funct. Anal. 65 (1986), 15–63.CrossRefGoogle Scholar
[11]Mundici, D., ‘Tensor products and the Loomis-Sikorski theorem for MV-algebras’, Adv. Appl. Math. 22 (1999), 227–248.CrossRefGoogle Scholar
[12]Ravindran, K., On a structure theory of effect algebras (Ph. D. Thesis, Kansas State Univ., Manhattan, Kansas, 1996).Google Scholar