What do Freyd's toposes classify?

DOI10.1007/s11787-013-0085-xzbMath1291.03121OpenAlexW2016368839MaRDI QIDQ382418

Peter T. Johnstone

Publication date: 19 November 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-013-0085-x

zbMATH Keywords

axiom of choicegeometric theoryclassifying toposFreyd modelsFreydian category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiom of choice and related propositions (03E25)

Cites Work

• Sheaf models for set theory
• Freyd’s models for the independence of the axiom of choice
• The axiom of choice
• Unnamed Item
• Unnamed Item

This page was built for publication: What do Freyd's toposes classify?