Two forms of the axiom of choice for an elementary topos

DOI10.2307/2271900MaRDI QIDQ4063149zbMATHOpenAlexWikidataFDO

Authors Anna Michaelides Penk

Publication date 1975

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2271900

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) Axiom of choice and related propositions (03E25)

Cites work

• scientific article; zbMATH DE number 3396151 (Why is no real title available?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Adjointness in Foundations
• Aspects of topoi

Cited in

(1)

• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)

This page was built for publication: Two forms of the axiom of choice for an elementary topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4063149)