Fraisse's construction from a topos-theoretic perspective
We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.
math.CT↗
arXiv subjects
Olivia Caramello
Publications and source records attributed to Olivia Caramello.
Atomic toposes and countable categoricity
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 geometric theory classified by an atomic topos is countably categorical. Some applications are also discussed.
math.CT↗
De Morgan's law and the theory of fields
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 theory of fields of nonzero characteristic which are algebraic over their prime fields.
math.CT↗
De Morgan classifying toposes
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 toposes follow. Specifically, we obtain a syntactic characterization of the class of geometric theories whose classifying toposes satisfy De Morgan's law (resp. are Boolean), as well as model-theoretic criteria for theories whose classifying toposes arise as localizations of a given presheaf topos.
math.CT↗
Yoneda representations of flat functors and classifying toposes
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 this technique to the theory of classifying toposes. Specifically, we obtain results characterizing the models of a theory classified by a topos of the form Sh(C,J) in terms of the models of a theory classified by the topos [C^op, Set].
math.CT↗