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) 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; (b) 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; (c) an adjunction between the category of all MV-algebras and the category of MV-algebraic spaces, where an MV-algebraic space is a pair (X; F), where X is a compact topological space and F is a sheaf of MValgebras with stalks that are local.

Representations of MV-algebras by sheaves / R., Ferraioli; Lettieri, Ada. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 0942-5616. - 1:57(2011), pp. 27-43. [10.1002/malq.200910116]

Representations of MV-algebras by sheaves

LETTIERI, ADA
2011

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) 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; (b) 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; (c) an adjunction between the category of all MV-algebras and the category of MV-algebraic spaces, where an MV-algebraic space is a pair (X; F), where X is a compact topological space and F is a sheaf of MValgebras with stalks that are local.
2011
Representations of MV-algebras by sheaves / R., Ferraioli; Lettieri, Ada. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 0942-5616. - 1:57(2011), pp. 27-43. [10.1002/malq.200910116]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/379447
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact