Abstract
What becomes of constructive mathematics without the axiom of (countable) choice? Using illustrations from a variety of areas, it is argued that it becomes better.
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
Bishop, Errett (1967). Foundations of constructive analysis. McGraw-Hill.
Bishop, Errett (1985). “Schizophrenia in contemporary mathemat- ics,” in Errett Bishop: Reflections on him and his research, Con-temp. Math, AMS.
Bridges, Douglas, Fred Richman and Peter Schuster (2000). A weak countable choice principle, Proc. Amer. Math. Soc., 128, 2749–2752.
Mines, Ray, Fred Richman and Wim Ruitenburg (1988). A course in constructive algebra,Springer-Verlag.
Richman, Fred (2000). The fundamental theorem of algebra: a constructive development without choice, Pac. J. Math., 196, 213–230
). Flat dimension and the Hilbert syzygy theo- rem, New Zealand J. Math., 26, 263–273.
Richman, Fred, Douglas Bridges and Peter Schuster (preprint). Trace-class operators, www.math.fau.edu/Richman/html/docs.htm.
Ruitenburg, Wim B. G. (1990). Constructing roots of polynomials over the complex numbers. Computational aspects of Lie group representations and related topics Amsterdam, 107–128, CWI Tract, 84, Math. Centrum, Centrum Wisk. Inform., Amsterdam, 1991.
Troelstra, Anne S., and Dirk van Dalen (1988), Constructivism in mathematics: an introduction,North-Holland
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Richman, F. (2001). Constructive Mathematics without Choice. In: Schuster, P., Berger, U., Osswald, H. (eds) Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum. Synthese Library, vol 306. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9757-9_17
Download citation
DOI: https://doi.org/10.1007/978-94-015-9757-9_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5885-0
Online ISBN: 978-94-015-9757-9
eBook Packages: Springer Book Archive