The axiom of choice. (English) Zbl 0446.03042


03E35 Consistency and independence results
03E25 Axiom of choice and related propositions
03G30 Categorical logic, topoi
18B25 Topoi
03E40 Other aspects of forcing and Boolean-valued models
03E70 Nonclassical and second-order set theories
18A32 Factorization systems, substructures, quotient structures, congruences, amalgams
Full Text: DOI


[1] Fourman, M.P., Sheaf models for set theory, J. pure appl. algebra, 19, (1980), in this volume · Zbl 0446.03041
[2] Freyd, J.P., Aspects of topoi, Bull. austral. math. soc., 7, (1972) · Zbl 0252.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.