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

classifying toposfirst-order theorygeometric morphismgeometric theoryGrothendieck topos

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.

Review text

The author proves the following characterization theorem for geometric logic. Theorem. Let \(\Sigma\) be a signature and \({\mathcal S}\) be a collection of \(\Sigma\)-structures in Grothendieck toposes closed under isomorphisms of structures. Then \({\mathcal S}\) is the collection of all models in Grothendieck toposes of a geometric theory over \(\Sigma\) if and only if it satisfies the following two conditions: {\parindent=6mm \begin{itemize}\item[(1)] for any geometric morphism \(f: {\mathcal F} \to {\mathcal E}\), if \(M \in \Sigma-\mathbf{str}({\mathcal E})\) is in \({\mathcal S}\) then \(f^*(M)\) is in \({\mathcal S}\); \item[(2)] for any (set-indexed) jointly surjective family \(\{f_i: {\mathcal E}_i \to {\mathcal E}\mid i \in I\}\) of geometric morphisms and any \(\Sigma\)-structure \(M\) in \({\mathcal E}\), if \(f^*_i(M)\) is in \({\mathcal S}\) for every \(i\in I\) then \(M\) is in \({\mathcal S}\). \end{itemize}} She further shows that it is not possible to assume that the set \(I\) in the statement of the theorem above is a singleton, without loss of generality. As an application of this theorem, the author proves a conjecture of I. Moerdijk mentioned in a letter to M. Makkai in 1989. The finite version of this conjecture was already proven by Moerdijk in that same letter, however, that proof cannot be generalized to prove the theorem above, as the former uses the compactness theorem.

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

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

Cited in

(13)

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

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)