What do Freyd’s Toposes Classify?

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

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
Keywords Axiom of choice  classifying topos  geometric theory  Freyd models  Freydian category
Categories (categorize this paper)
DOI 10.1007/s11787-013-0085-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,785
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
Ultrapowers Without the Axiom of Choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.


Added to PP index

Total views
13 ( #587,858 of 2,243,844 )

Recent downloads (6 months)
1 ( #1,041,984 of 2,243,844 )

How can I increase my downloads?


My notes

Sign in to use this feature