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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Atomic toposes and countable categoricity

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Wood Identification Average on weekdays: 8919.19607843 kWh https://www.eventbrite.co.uk/e/cghr-practitioner-series-bella-sankey-director-of-detention-action-tickets-250098299747

Other talks

Title to be confirmed Title to be confirmed: The Ghost Collider The Gardens of the Western Cape Title to be confirmed LMB Seminar - Mechanisms of mRNA packaging and export Topic Film, TV shows for Medical Education, ‘The Wire’ as a case study
 

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