Abstract
The Axiom of Choice has, since its conception, formed an important part of the framework within which much of mathematics is done. Not only has its application allowed the proof of results to which it is an apparently essential pre-requisite, but its availability has shaped the way in which the mathematics which it proves has been formulated. There is no need to carry along the way the impedimenta of accumulated detail when selection of an arbitrarily chosen instance can be relied upon in every situation due to the presence of an Axiom of Choice which guarantees its retrieval from a range of possibilities. There is a received wisdom which says that this shaping of mathematics is fine and good, and that the avoidance of intricacy which this encourages leads to a minimality of expression which is characteristic of elegance in mathematics. There is also a reality, perhaps less well received, which says that all may not be quite so fine, quite so good, and that the intricacies avoided in the cause of elegance may be waiting just round the next conceptual corner to pounce on the unsuspecting. Indeed, the joys of life with the Axiom of Choice may actually limit, rather than expand, the extent to which mathematics may be developed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B Banaschewski, Extensions of invariant linear functionals: Hahn-Banach in the topos of M-sets, J. Pure and Appl. Alg. 17(1980), 227–248.
B. Banaschewski, C. J. Mulvey, The Stone-Cech compactification of locales, I, Houston J. Math. 6 (1980), 301–312.
B. Banaschewski, C. J. Mulvey, The Stone-Cech compactification of locales, II, J. Pure Applied Algebra, 33 (1984), 107–122.
B. Banaschewski, C. J. Mulvey, The spectral theory of commutative C*- algebras: the constructive spectrum, Quaestiones Math., 25 (2000), 425–464.
B. Banaschewski, C. J. Mulvey, A constructive proof of the Stone-Weierstrass theorem, J. Pure Applied Algebra 116 (1977), 25–40.
B. Banaschewski, C. J. Mulvey, A globalisation of the Gelfand duality theorem, to appear.
M. Barr, Toposes without points, J. Pure and Appl. Alg. 5 (1974), 265–280.
E. A. Bishop, Foundations Of Constructive Analysis, McGraw-Hill (New York), 1967.
D. S. Bridges, Constructive Functional Analysis, Pitman (London ), 1979.
C. W. Burden, The Hahn-Banach Theorem in a category of sheaves, J. Pure Applied Algebra 17 (1980), 25–34.
C. W. Burden, C. J. Mulvey, Banach spaces in categories of sheaves, in Applications of Sheaves: Proceedings of the Durham Symposium (July 1977), Lecture Notes in Mathematics 753, 169–196, Springer, 1979.
G. M. French, Syntactic and semantic aspects of locales and quantales, Thesis, University of Sussex, 1992.
P. T. Johnstone, Topos Theory, Academic Press (London), 1977.
P. T. Johnstone, The Gleason cover of a topos II, J. Pure and Appl. Alg. 22 (1981), 229–247.
P. T. Johnstone, Tychonof’s theorem without the axiom of choice, Fund. Math. 113 (1981), 21–35.
P. T. Johnstone, Stone Spaces, Cambridge University Press (Cambridge), 1982.
C. J. Mulvey, Intuitionistic algebra and representation of rings, Memoirs Amer. Math. Soc. 148 (1974), 3–57.
C. J. Mulvey, &, Rendiconti Circ. Mat. Palermo 12 (1986), 99–104.
C. J. Mulvey, J. W. Pelletier, On the points of locales in a De Morgan topos,in Categorical Topology,Toledo, 1983, Sigma Series in Pure Mathematics 5(1984), 392–407, Heldermann.
C. J. Mulvey, J. W. Pelletier, A globalisation of the Hahn-Banach theorem, Advances in Mathematics 89 (1991), 1–59.
C. J. Mulvey, J. W. Pelletier, A geometric characterization concerning compact convex sets, Math. Proc. Camb. Phil. Soc. 109 (1991), 351–361.
C. J. Mulvey, J. J. C. Vermeulen, A constructive proof of the Hahn-Banach theorem, to appear.
J. Staples, On constructive fields, Proc. London Math. Soc. 23 (1971), 753–768.
J. J. C. Vermeulen, Constructive Techniques In Functional Analysis, Dissertation, University of Sussex, 1986.
J. J. C. Vermeulen, Proper maps of locales, J. Pure and Appl. Alg. 92 (1994), 79–107.
Editor information
Editors and Affiliations
Additional information
Dedicated to the memory of Japie Vermeulen.
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Mulvey, C.J. (2003). On The Geometry Of Choice. In: Rodabaugh, S.E., Klement, E.P. (eds) Topological and Algebraic Structures in Fuzzy Sets. Trends in Logic, vol 20. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0231-7_13
Download citation
DOI: https://doi.org/10.1007/978-94-017-0231-7_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6378-6
Online ISBN: 978-94-017-0231-7
eBook Packages: Springer Book Archive