A characterization theorem for geometric logic

DOI10.1016/J.APAL.2010.08.004MaRDI QIDQ638496zbMATH OpenOpenAlexFDO

Authors Olivia Caramello

Publication date 12 September 2011

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

Grothendieck toposfirst-order theorygeometric theoryclassifying toposgeometric morphism

Mathematics Subject Classification ID

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

Abstract: We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are geometric in terms of their models in Grothendieck toposes, solving a problem posed by Ieke Moerdijk in 1989.

Recommendations

• Classifying toposes for first-order theories
• De Morgan classifying toposes
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• Atomic toposes and countable categoricity
• Syntactic characterizations of properties of classifying toposes

Cites work

• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Classifying toposes for first-order theories
• De Morgan's law and the theory of fields

Cited in

(11)

• The Unification of Mathematics via Topos Theory
• Site characterizations for geometric invariants of toposes
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• scientific article; zbMATH DE number 7166981 (Why is no real title available?)
• scientific article; zbMATH DE number 2020175 (Why is no real title available?)
• scientific article; zbMATH DE number 4120169 (Why is no real title available?)
• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
• Stairway to heaven: the abstract method and levels of abstraction in mathematics
• De Morgan classifying toposes
• Syntactic characterizations of properties of classifying toposes
• A logical look at characterizations of geometric transformations under mild hypotheses

This page was built for publication: A characterization theorem for geometric logic

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