Representations of MV-algebras by sheaves

Mathematical Logic Quarterly 57 (1):27-43 (2011)
  Copy   BIBTEX

Abstract

In this paper, inspired by methods of Bigard, Keimel, and Wolfenstein , we develop an approach to sheaf representations of MV-algebras which combines two techniques for the representation of MV-algebras devised by Filipoiu and Georgescu and by Dubuc and Poveda . Following Davey approach , we use a subdirect representation of MV-algebras that is based on local MV-algebras. This allowed us to obtain: a representation of any MV-algebras as MV-algebra of all global sections of a sheaf of local MV-algebras on the spectruum of its prime ideals; a representation of MV-algebras, having the space of minimal prime ideals compact, as MV-algebra of all global sections of a Hausdorff sheaf of MV-chains on the space of minimal prime ideals, which is a Stone space; an adjunction between the category of all MV-algebras and the category of MV-algebraic spaces, where an MV-algebraic space is a pair , where X is a compact topological space and F is a sheaf of MV-algebras with stalks that are local

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.
Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.

Analytics

Added to PP
2013-12-01

Downloads
25 (#629,577)

6 months
3 (#961,692)

Historical graph of downloads
How can I increase my downloads?