Two forms of the axiom of choice for an elementary topos

DOI10.2307/2271900zbMATH Open0307.02051OpenAlexW1979204163WikidataQ114589109 ScholiaQ114589109MaRDI QIDQ4063149FDOQ4063149

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

• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Adjointness in Foundations
• Aspects of topoi
• Title not available (Why is that?)

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)