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]
MV-algebras, Grothendieck toposes and applications / Anna Carla Russo , 2016 May 31., Anno Accademico 2014 - 2015. [10.14273/unisa-724].
MV-algebras, Grothendieck toposes and applications
Russo, Anna Carla
2016
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]I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
