5 citations · 6 across the 4 of their papers we have counts for
4 papers · 1 filter
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
Olivia Caramello, Anna Carla Russo
We establish, generalizing Di Nola and Lettieri's categorical equivalence, a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras…
Topologies for intermediate logics
Olivia Caramello
We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce n…
Gelfand spectra and Wallman compactifications
Olivia Caramello
We carry out a systematic, topos-theoretically inspired, investigation of Wallman compactifications with a particular emphasis on their relations with Gelfand spectra and Stone-Cec…
The unification of Mathematics via Topos Theory
Olivia Caramello
We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck topose…