Syntactic Characterizations of Properties of Classifying Toposes

  title={Syntactic Characterizations of Properties of Classifying Toposes},
  author={Olivia Caramello},
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (respectively connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish various results on quotients of theories of presheaf type. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
3 Extracted Citations
2 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-2 of 2 references

Universal models and definability, Math

  • Caramello, 2009b O. Caramello
  • Proc. Camb. Phil. Soc
  • 2012

First order categorical logic, Lecture

  • Makkai, Reyes, 1977 M. Makkai, G. E. Reyes
  • Notes in Math. vol
  • 1977

Similar Papers

Loading similar papers…