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.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

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

Through your library

My notes

Similar books and articles

The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
The axiom of choice holds iff maximal closed filters exist.Horst Herrlich - 2003 - Mathematical Logic Quarterly 49 (3):323.
Some Weak Forms of the Axiom of Choice Restricted to the Real Line.Kyriakos Keremedis & Eleftherios Tachtsis - 2001 - Mathematical Logic Quarterly 47 (3):413-422.
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.Stewart Shapiro, Charles McCarty & Michael Rathjen - forthcoming - Archive for Mathematical Logic.
Paracompactness of Metric Spaces and the Axiom of Multiple Choice.Paul Howard, K. Keremedis & J. E. Rubin - 2000 - Mathematical Logic Quarterly 46 (2):219-232.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
Von Rimscha's Transitivity Conditions.Paul Howard, Jean E. Rubin & Adrienne Stanley - 2000 - Mathematical Logic Quarterly 46 (4):549-554.
Axiom výběru a hypotéza kontinua – souvislosti a rozdíly.Tereza Slabá - 2023 - Teorie Vědy / Theory of Science 45 (1):67-93.
Choice Principles and Compactness Conditions.Bernhard Banaschewski - 1998 - Mathematical Logic Quarterly 44 (3):427-430.
Properties of the real line and weak forms of the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (6):598-609.

Analytics

Added to PP
2016-09-21

Downloads
34 (#665,199)

6 months
9 (#485,111)

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 Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.

View all 25 citations / Add more citations

References found in this work

No references found.

Add more references