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
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]File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14242/133772
Il codice NBN di questa tesi è
URN:NBN:IT:UNISA-133772