The axiom of choice
DOI10.1016/0022-4049(80)90097-3zbMath0446.03042OpenAlexW1996947986WikidataQ114685099 ScholiaQ114685099MaRDI QIDQ5904544
Publication date: 1980
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(80)90097-3
topos of sheavesaxiom of choiceGrothendieck toposmonoid representationsexponential varietyinterpretation of ZF in the topos of double-negation sheaveswell-foundedness of the topos of double-negation sheaveswell-ordered families
Categorical logic, topoi (03G30) Topoi (18B25) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)
Related Items
Cites Work