21 citations · 60 across the 23 of their papers we have counts for
5 papers · 2 filters
Atomic toposes and countable categoricity
Olivia Caramello
We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometr…
De Morgan's law and the theory of fields
Olivia Caramello, Peter Johnstone
We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we identify its largest dense De Morgan subtopos as the classifying topos for the…
De Morgan classifying toposes
Olivia Caramello
We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (resp. the law of excluded middle) or not; applications to the theory of classifying…
Yoneda representations of flat functors and classifying toposes
Olivia Caramello
In this paper, we first introduce a technique that we call "Yoneda representation of flat functors", based on ideas from indexed category theory; then we provide applications of th…
Fraisse's construction from a topos-theoretic perspective
Olivia Caramello
We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.