We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Morita-equivalences for MV-algebras

Formale Metadaten

Titel
Morita-equivalences for MV-algebras
Serientitel
Teil
23
Anzahl der Teile
28
Autor
Lizenz
CC-Namensnennung 3.0 Unported:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
We shall make a survey of the most recent results obtained in connection with the programme of investigating notable categorical equivalences for MV-algebras from a topos-theoretic perspective commenced in. In and we generalize to a topos-theoretic setting two classical equivalences arising in the context of MV-algebras: Mundici's equivalence between the category of MV-algebras and the category of`-u groups (i.e., lattice-ordered abelian groups with strong unit) and Di Nola-Lettieri's equivalence between the category of perfect MV-algebras and the category of` -groups (i.e., lattice-ordered abelian groups, not necessarily with strong unit). These generalizations yield respectively a Morita-equivalence between the theory MV of MV-algebras and the theory L u of `-u groups and one between the theory P of perfect MV-algebras and the theory L of `-groups. These Morita-equivalences allow us to apply the `bridge technique' of to transfer properties and results from one theory to the other, obtaining new insights on the theories which are not visible by using classical techniques. Among these results, we mention a bijective correspondence between the geometric theory extensions of the theory MV and those of the theory L u, a form of completeness and compactness for the innitary theory L u, the identication of three dierent levels of bi-interpretabilitity between the theory P and the theory L and a representation theorem for the nitely presentable objects of Chang's variety as nite products of perfect MV-algebras. Given the fact that perfect MV-algebras are exactly the local MV-algebras in the variety generated by Chang's algebra, it is natural to wonder whether analogues of Di Nola-Lettieri's equivalence exist for local MV-algebras in a given proper subvariety of MV-algebras. In a forthcoming paper, we prove that the theory of local MV-algebras in any subvariety V of MV-algebras is of presheaf type (i.e., classied by a presheaf topos) and establish a Morita-equivalence with a theory that extends that of `-groups. Furthermore, we generalize to this setting the representation results obtained in.