Axiom of Choice and Complementation

Proceedings of the American Mathematical Society 51 (1):176-178 (1975)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
Filozofia matematyki Wacława Sierpińskiego.Katarzyna Lewandowska - 2016 - Zagadnienia Filozoficzne W Nauce 60:53-81.
Rigit Unary Functions and the Axiom of Choice.Wolfgang Degen - 2001 - Mathematical Logic Quarterly 47 (2):197-204.
Russell's alternative to the axiom of choice.Norbert Brunner & Paul Howard - 1992 - Mathematical Logic Quarterly 38 (1):529-534.

Analytics

Added to PP
2016-09-21

Downloads
24 (#617,476)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.

View all 24 citations / Add more citations

References found in this work

No references found.

Add more references