Classifying Toposes for First Order Theories

Authors

  • Carsten Butz
  • Peter T. Johnstone

DOI:

https://doi.org/10.7146/brics.v4i20.18946

Abstract

By a classifying topos for a first-order theory T, we mean a topos
E such that, for any topos F, models of T in F correspond exactly to
open geometric morphisms F ! E. We show that not every (infinitary)
first-order theory has a classifying topos in this sense, but we
characterize those which do by an appropriate `smallness condition',
and we show that every Grothendieck topos arises as the classifying
topos of such a theory. We also show that every first-order theory
has a conservative extension to one which possesses
a classifying topos, and we obtain a Heyting-valued completeness
theorem for infinitary first-order logic.

Downloads

Published

1997-01-20

How to Cite

Butz, C., & Johnstone, P. T. (1997). Classifying Toposes for First Order Theories. BRICS Report Series, 4(20). https://doi.org/10.7146/brics.v4i20.18946