Atomic toposes and countable categoricity

DOI10.1007/S10485-010-9244-XzbMATH Open1277.03071arXiv0811.3547OpenAlexW2011441179MaRDI QIDQ695312FDOQ695312

Authors: Olivia Caramello 

Publication date: 21 December 2012

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: 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 classified by an atomic topos is countably categorical. Some applications are also discussed.

Full work available at URL: https://arxiv.org/abs/0811.3547

Recommendations

• An `unsitely' result on atomic morphisms
• On Representations of Grothendieck Toposes
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• Classifying toposes for first-order theories
• Syntactic characterizations of properties of classifying toposes

zbMATH Keywords

countably categorical theorytypegeometric theoryatomic theoryatomic toposBoolean topos

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• Title not available (Why is that?)
• De Morgan classifying toposes
• Classifying topoi and finite forcing

Cited In (13)

• Formal model theory and higher topology
• Fraïssé's construction from a topos-theoretic perspective
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• Classifying topoi and the axiom of infinity
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• Title not available (Why is that?)
• The Unification of Mathematics via Topos Theory
• STACS 2005
• Topological Galois theory
• Some aspects of topological Galois theory
• An `unsitely' result on atomic morphisms
• A characterization theorem for geometric logic
• Sufficient cohesion over atomic toposes

This page was built for publication: Atomic toposes and countable categoricity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q695312)