21 citations · 60 across the 23 of their papers we have counts for
4 papers · 1 filter
A characterization theorem for geometric logic
Olivia Caramello
We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obta…
One topos, many sites
Olivia Caramello
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, comp…
Universal models and definability
Olivia Caramello
We show that the investigation of universal models in Topos Theory can shed light on problems of definability in Logic as well as on the investigation of De Morgan's law and the la…
Lattices of theories
Olivia Caramello
We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quo…