21 citations · 60 across the 23 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
math.CT2012
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…
math.CT2012★ 1 cited
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…
math.CT2012
Priestley-type dualities for partially ordered structures
Olivia Caramello
We introduce a general framework for generating dualities between categories of partial orders and categories of ordered Stone spaces; we recover in particular the classical Priest…