The Axiom of Choice in an Elementary Theory of Operations and Sets

  • John L. Bell
Part of the The Western Ontario Series in Philosophy of Science book series (WONS, volume 78)


A theory (ETHOS) is developed in which the concepts of operation, function, and single-valued relation are distinguished. In ETHOS operations (and functions) and sets are treated on a par; the former are not ‘reduced’ to sets of ordered pairs, as in set theory, but neither do sets vanish altogether, as in category theory. The theory, which is formulated constructively and based on intuitionistic logic, provides a natural framework for investigating the Axiom of Choice.


Equivalence Relation Choice Function Function Symbol Category Theory Intuitionistic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Beeson, M. 1985. Foundations of constructive mathematics. Berlin: Springer.Google Scholar
  2. Bell, J.L. 2008. The axiom of choice and the law of excluded middle in weak set theories. Mathematical Logic Quarterly 54(2): 194–201.CrossRefGoogle Scholar
  3. Bell, J.L. 2009. The axiom of choice. London: College Publications.Google Scholar
  4. Feferman, S. 1975. A language and axioms for explicit mathematics. In Algebra and logic, Springer lecture notes in mathematics 450, ed. John Crossley, 87–139. Berlin: Springer.Google Scholar
  5. Feferman, S. 1979. Constructive theories of functions and classes. In Logic colloquium ’78, eds. M. Boffa, D. van Dalen, and K. McAloon, 159–224. Amsterdam: North-Holland.Google Scholar
  6. Martin-Löf, P. 2006. 100 years of Zermelo’s axiom of choice: what was the problem with it? The Computer Journal 49(3): 345–350.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of Western OntarioLondonCanada

Personalised recommendations