Axiom of choice and complementation
Author: Radu Diaconescu
Journal: Proc. Amer. Math. Soc. 51 (1975), 176-178
MSC: Primary 02K20; Secondary 02K10, 18B05
MathSciNet review: 0373893
Full-text PDF Free Access
Abstract: It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical one.
- F. William Lawvere, Introduction, Toposes, algebraic geometry and logic (Conf., Dalhousie Univ., Halifax, N.S., 1971) Springer, Berlin, 1972, pp. 1–12. Lecture Notes in Math., Vol. 274. MR 0376798
- M. Tierney, Axiomatic sheaf theory: some constructions and applications, Categories and commutative algebra (C.I.M.E., III Ciclo, Varenna, 1971), Edizioni Cremonese, Rome, 1973, pp. 249–326. MR 0354800
F. W. Lawvere (editor), Toposes, Algebraic Geometry and Logic, Lecture Notes in Math., vol. 274, Springer-Verlag, Berlin and New York, 1972.
M. Tierney, Axiomatic sheaf theory, Some Constructions and Applications in Categories and Commutative Algebra (P. Salmon, editor), Edizioni Cremonese, Roma, 1973.