What do Freyd’s Toposes Classify?

Logica Universalis 7 (3):335-340 (2013)
  Copy   BIBTEX


We describe a method for presenting (a topos closely related to) either of Freyd’s topos-theoretic models for the independence of the axiom of choice as the classifying topos for a geometric theory. As an application, we show that no such topos can admit a geometric morphism from a two-valued topos satisfying countable dependent choice



    Upload a copy of this work     Papers currently archived: 92,369

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

On the Freyd cover of a topos.Ieke Moerdijk - 1983 - Notre Dame Journal of Formal Logic 24 (4):517-526.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
The Topos of Music: Geometric Logic of Concepts, Theory and Performance.G. Mazzola - 2002 - Birkhauser Verlag. Edited by Stefan Göller & Stefan Müller.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.


Added to PP

25 (#637,843)

6 months
10 (#278,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references