Atomic toposes and countable categoricity

DOI10.1007/S10485-010-9244-XMaRDI QIDQ695312zbMATH OpenOpenAlexFDO

Authors Olivia Caramello

Publication date 21 December 2012

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• Classifying topoi and finite forcing
• De Morgan classifying toposes

Cited in

(13)

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

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)