A characterization theorem for geometric logic

  • Caramello O
  • 4

    Readers

    Mendeley users who have this article in their library.
  • 1

    Citations

    Citations of this article.

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. © 2010 Elsevier B.V.

Author-supplied keywords

  • Classifying topos
  • First-order theory
  • Geometric morphism
  • Geometric theory
  • Grothendieck topos
  • Subtopos

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Olivia Caramello

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free