What do Freyd’s Toposes Classify?

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

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s11787-013-0085-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

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

Through your library

My notes

Similar books and articles

Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
The Weak Choice Principle WISC may Fail in the Category of Sets.David Michael Roberts - 2015 - Studia Logica 103 (5):1005-1017.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Infinitary generalizations of deligne’s completeness theorem.Christian Espíndola - 2020 - Journal of Symbolic Logic 85 (3):1147-1162.
Lattice-ordered Abelian groups and perfect mv-algebras: A topos-theoretic perspective.Olivia Caramello & Anna Carla Russo - 2016 - Bulletin of Symbolic Logic 22 (2):170-214.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
Fraïssé’s Construction from a Topos-Theoretic Perspective.Olivia Caramello - 2014 - Logica Universalis 8 (2):261-281.
Two forms of the axiom of choice for an elementary topos.Anna Michaelides Penk - 1975 - Journal of Symbolic Logic 40 (2):197-212.
The principle of general tovariance.Chris Heunen, Klaas Landsman & Bas Spitters - unknown

Analytics

Added to PP
2013-08-17

Downloads
33 (#684,582)

6 months
8 (#580,966)

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