University of Cambridge > > Category Theory Seminar > Atomic toposes and countable categoricity

Atomic toposes and countable categoricity

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Richard Garner.

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 which is classified by an atomic topos is countably categorical. We will also discuss some applications.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity