Atomic toposes and countable categoricity - Mathematics > Category TheoryReport as inadecuate




Atomic toposes and countable categoricity - Mathematics > Category Theory - Download this document for free, or read online. Document in PDF available to download.

Abstract: We give a model-theoretic characterization of the class of geometric theoriesclassified by an atomic topos having enough points; in particular, we show thatevery complete geometric theory classified by an atomic topos is countablycategorical. Some applications are also discussed.



Author: Olivia Caramello

Source: https://arxiv.org/







Related documents