Two forms of the axiom of choice for an elementary topos

DOI10.2307/2271900zbMath0307.02051OpenAlexW1979204163WikidataQ114589109 ScholiaQ114589109MaRDI QIDQ4063149

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

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

Related Items (1)

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

Cites Work

• Unnamed Item
• Adjointness in Foundations
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Aspects of topoi

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