Skip to main content
SpringerLink
Log in

Constructive Mathematics without Choice

  • Chapter
Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum

Part of the book series: Synthese Library ((SYLI,volume 306))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bishop, Errett (1967). Foundations of constructive analysis. McGraw-Hill.

    Google Scholar 

  2. Bishop, Errett (1985). “Schizophrenia in contemporary mathemat- ics,” in Errett Bishop: Reflections on him and his research, Con-temp. Math, AMS.

    Google Scholar 

  3. Bridges, Douglas, Fred Richman and Peter Schuster (2000). A weak countable choice principle, Proc. Amer. Math. Soc., 128, 2749–2752.

    Article  MathSciNet  MATH  Google Scholar 

  4. Mines, Ray, Fred Richman and Wim Ruitenburg (1988). A course in constructive algebra,Springer-Verlag.

    Google Scholar 

  5. Richman, Fred (2000). The fundamental theorem of algebra: a constructive development without choice, Pac. J. Math., 196, 213–230

    Article  MathSciNet  MATH  Google Scholar 

  6. ). Flat dimension and the Hilbert syzygy theo- rem, New Zealand J. Math., 26, 263–273.

    Google Scholar 

  7. Richman, Fred, Douglas Bridges and Peter Schuster (preprint). Trace-class operators, www.math.fau.edu/Richman/html/docs.htm.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Troelstra, Anne S., and Dirk van Dalen (1988), Constructivism in mathematics: an introduction,North-Holland

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Florida Atlantic University, FL, 33431, Boca Raton, USA

    Fred Richman

Authors
  1. Fred Richman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Ludwig-Maximilians-Universität, München, Germany

    Peter Schuster  & Horst Osswald  & 

  2. University of Wales, Swansea, UK

    Ulrich Berger

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation