Atomic toposes and countable categoricity - Mathematics > Category TheoryReportar como inadecuado




Atomic toposes and countable categoricity - Mathematics > Category Theory - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Olivia Caramello

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados