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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

Compact representations of BL-algebras.Antonio Di Nola & Laurentiu Leustean - 2003 - Archive for Mathematical Logic 42 (8):737-761.
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.
A note on existentially closed difference fields with algebraically closed fixed field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
Definability of Geometric Properties in Algebraically Closed Fields.Olivier Chapuis & Pascal Koiran - 1999 - Mathematical Logic Quarterly 45 (4):533-550.
Canonical forms for definable subsets of algebraically closed and real closed valued fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
The structure of algebraically and existentially closed stone and double stone algebras.David M. Clark - 1989 - Journal of Symbolic Logic 54 (2):363-375.
On the representation of herbrand functions in algebraically closed fields.A. H. Lightstone & A. Robinson - 1957 - Journal of Symbolic Logic 22 (2):187-204.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Constructing ω-stable Structures: Rank k-fields.John T. Baldwin & Kitty Holland - 2003 - Notre Dame Journal of Formal Logic 44 (3):139-147.
The countable homogeneous universal model of B.David M. Clark & Jürg Schmid - 1996 - Studia Logica 56 (1-2):31 - 66.
On neat reducts of algebras of logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.
On PAC and Bounded Substructures of a Stable Structure.Anand Pillay & Dominika Polkowska - 2006 - Journal of Symbolic Logic 71 (2):460 - 472.

Analytics

Added to PP
2013-12-12

Downloads
39 (#410,943)

6 months
5 (#648,432)

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