Atomic toposes and countable categoricity (Q695312): Difference between revisions

We recall that an atomic topos is an elementary topos \(\xi \) which possesses an atomic geometric morphism \(\xi \rightarrow\mathrm{Set}\). In this paper the author investigates the class of geometric theories classified by an atomic topos having enough points. So the author obtains a characterization of this class of theories in terms of types in classical model theory; in particular she shows that every complete geometric theory classified by an atomic topos is countably categorical. This represents a generalization of the well-known characterization of complete coherent theories classified by an atomic topos.