Article ID Journal Published Year Pages File Type
4662980 Journal of Applied Logic 2015 15 Pages PDF
Abstract

The category of Gödel spaces GSGS (with strongly isotone maps as morphisms), which are dually equivalent to the category of Gödel algebras, is transferred by a contravariant functor HH into the category MV(C)GMV(C)G of MV-algebras generated by perfect MV  -chains via the operators of direct products, subalgebras and direct limits. Conversely, the category MV(C)GMV(C)G is transferred into the category GSGS by means of a contravariant functor PP. Moreover, it is shown that the functor HH is faithful, the functor PP is full and the both functors are dense. The description of finite coproduct of algebras, which are isomorphic to Chang algebra, is given. Using duality a characterization of projective algebras in MV(C)GMV(C)G is given.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, ,