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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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.

Other lists

Darwin Humanities and Social Sciences Seminar Graduate Women's Network Cambridge Natural History Society

Other talks

Perfect toposes and infinitesimal weak generation TO A TRILLION AND BEYOND: THE FUTURE OF COMPUTING AND THE INTERNET OF THINGS - The IET Cambridge Prestige Lecture Connecting behavioural and neural levels of analysis Making Refuge: Scripture and Refugee Relief Lunchtime Talk: Helen's Bedroom The Rise of Augmented Intelligence in Edge Networks Protein Folding, Evolution and Interactions Symposium Coin Betting for Backprop without Learning Rates and More Structural basis for human mitochondrial DNA replication, repair and antiviral drug toxicity "Mechanosensitive regulation of cancer epigenetics and pluripotency" Uncertainty Quantification with Multi-Level and Multi-Index methods
 

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