| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661919 | Annals of Pure and Applied Logic | 2013 | 7 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
