Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Axiom of choice and complementation


Author: Radu Diaconescu
Journal: Proc. Amer. Math. Soc. 51 (1975), 176-178
MSC: Primary 02K20; Secondary 02K10, 18B05
DOI: https://doi.org/10.1090/S0002-9939-1975-0373893-X
MathSciNet review: 0373893
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical one.


References [Enhancements On Off] (What's this?)

  • [1] F. W. Lawvere (editor), Toposes, Algebraic Geometry and Logic, Lecture Notes in Math., vol. 274, Springer-Verlag, Berlin and New York, 1972. MR 0376798 (51:12973)
  • [2] M. Tierney, Axiomatic sheaf theory, Some Constructions and Applications in Categories and Commutative Algebra (P. Salmon, editor), Edizioni Cremonese, Roma, 1973. MR 0354800 (50:7277)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02K20, 02K10, 18B05

Retrieve articles in all journals with MSC: 02K20, 02K10, 18B05


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1975-0373893-X
Article copyright: © Copyright 1975 American Mathematical Society

American Mathematical Society