Algebraically closed MV-algebras and their sheaf representation

, &
Annals of Pure and Applied Logic 164 (3):349-355 (2013)
  Copy   BIBTEX

Abstract

In this paper we first provide a new axiomatization of algebraically closed MV-algebras based on McNaughtonʼs Theorem. Then we turn to sheaves, and we represent algebraically closed MV-algebras as algebras of global sections of sheaves, where the stalks are divisible MV-chains and the base space is Stonean

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.10.017

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,191

External links

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

Through your library

My notes

Similar books and articles

Representations of MV-algebras by sheaves.Anna R. Ferraioli & Ada Lettieri - 2011 - Mathematical Logic Quarterly 57 (1):27-43.
Representation theory of MV-algebras.Eduardo J. Dubuc & Yuri A. Poveda - 2010 - Annals of Pure and Applied Logic 161 (8):1024-1046.
Erratum to “Representation theory of MV-algebras” [Ann. Pure Appl. Logic 161 (8) (2010)].Eduardo J. Dubuc - 2012 - Annals of Pure and Applied Logic 163 (9):1358.
A set-theoretic proof of the representation of MV-algebras by sheaves.Alejandro Estrada & Yuri A. Poveda - 2022 - Journal of Applied Non-Classical Logics 32 (4):317-334.
State-morphism MV-algebras.Antonio Di Nola & Anatolij Dvurečenskij - 2010 - Annals of Pure and Applied Logic 161 (2):161-173.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
The Dual Adjunction between MV-algebras and Tychonoff Spaces.Vincenzo Marra & Luca Spada - 2012 - Studia Logica 100 (1-2):253-278.
Representation of MV-algebras by regular ultrapowers of [0, 1].Antonio Di Nola, Giacomo Lenzi & Luca Spada - 2010 - Archive for Mathematical Logic 49 (4):491-500.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute.Aldo Figallo Orellano - 2016 - Studia Logica 104 (5):931-956.

Analytics

Added to PP
2013-12-12

Downloads
45 (#574,569)

6 months
2 (#1,455,664)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Structure and representation of semimodules over inclines.Ruiqi Bai & Yichuan Yang - 2020 - Annals of Pure and Applied Logic 171 (10):102844.

Add more citations

References found in this work

Representations of MV-algebras by sheaves.Anna R. Ferraioli & Ada Lettieri - 2011 - Mathematical Logic Quarterly 57 (1):27-43.
The Prime Spectrum of an MV‐Algebra.L. P. Belluce, Antonio Di Nola & Salvatore Sessa - 1994 - Mathematical Logic Quarterly 40 (3):331-346.
The Prime Spectrum of an MV-Algebra.L. Belluce, Antonio di Nola & Salvatore Sessa - 1994 - Mathematical Logic Quarterly 40 (3):331-346.

Add more references