Recently the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. A stronger version of state MV-algebras, called state-morphism MV-algebras, was given. In this article, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Hausdorff topological spaces with a fixed idempotent continuous function, and for (ii) the category of weakly divisible sigma-complete state-morphism MV-algebras and the category of Bauer simplices whose set of extreme points is basically disconnected and with a fixed idempotent continuous function.
Stone Duality Type Theorems for MV-Algebras with Internal State / A., Di Nola; A., Dvurecenskij; Lettieri, Ada. - In: COMMUNICATIONS IN ALGEBRA. - ISSN 0092-7872. - 40:(2012), pp. 327-342. [10.1080/00927872.2010.531336]
Stone Duality Type Theorems for MV-Algebras with Internal State
LETTIERI, ADA
2012
Abstract
Recently the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. A stronger version of state MV-algebras, called state-morphism MV-algebras, was given. In this article, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Hausdorff topological spaces with a fixed idempotent continuous function, and for (ii) the category of weakly divisible sigma-complete state-morphism MV-algebras and the category of Bauer simplices whose set of extreme points is basically disconnected and with a fixed idempotent continuous function.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.