A characterization theorem for geometric logic

Annals of Pure and Applied Logic 162 (4):318-321 (2011)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
A topological completeness theorem.Carsten Butz - 1999 - Archive for Mathematical Logic 38 (2):79-101.
Remarks on Structure Theorems for -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
Some remarks on openly generated Boolean algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.
The theorem of the means for cardinal and ordinal numbers.George Rousseau - 1993 - Mathematical Logic Quarterly 39 (1):279-286.
Topological representation of geometric theories.Henrik Forssell - 2012 - Mathematical Logic Quarterly 58 (6):380-393.
A Proof of the Characterization Theorem for Consequence Relations.Zvonimir Šikić - 1991 - Mathematical Logic Quarterly 37 (2‐4):41-43.

Analytics

Added to PP
2014-01-16

Downloads
44 (#317,814)

6 months
6 (#202,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.

Add more references