MV-algebras, Grothendieck toposes and applications

Abstract

This thesis is a contribution to the research program ‘toposes as bridges’ introduced in [12], which aims at developing the unifying potential of the notion of Grothendieck topos as a means for relating different mathematical theories to each other through topos-theoretic invariants. The general methodology outlined therein is applied here to study already existing categorical equivalences of particular interest arising in the field of many-valued logics and also to produce new ones. The original content of the disseration is contained in [22], [21] and [23]... [edited by Author]