Skip to main content
SpringerLink
Log in
Book cover

Constructive Mathematics

Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

  • Conference proceedings
  • © 1981

Overview

Editors:
  1. Fred Richman
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Mathematics (LNM, volume 873)

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

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages N2-VII
    Download chapter PDF

  2. Seidenberg's condition P

    • Fred Richman
    Pages 1-11

  3. Field extensions

    • W. Ruitenburg
    Pages 12-15

  4. Dedekind domains

    • Ray Mines, Fred Richman
    Pages 16-30

  5. Effective mathematics — the computer algebra viewpoint

    • James H. Davenport
    Pages 31-43

  6. On some open problems in constructive probability theory

    • Y. K. Chan
    Pages 44-53

  7. Consistency and independence results in intuitionistic set theory

    • Andrej Ščedrov
    Pages 54-86

  8. Computability of ordinal recursion of type level two

    • W. A. Howard
    Pages 87-104

  9. A constructive approach to classical mathematics

    • Jonathan P. Seldin
    Pages 105-110

  10. Remarks on the notion of standard non-isomorphic natural number series

    • David Isles
    Pages 111-134

  11. Reflections on Bishop's philosophy of mathematics

    • Nicolas D. Goodman
    Pages 135-145

  12. Formalizing constructive mathematics: Why and how?

    • M. J. Beeson
    Pages 146-190

  13. Independence of premisses and the free topos

    • J. Lambek, P. J. Scott
    Pages 191-207

  14. An intuitionistic infinitesimal calculus

    • Richard Vesley
    Pages 208-212

  15. Liberal constructive set theory

    • Newcomb Creenleaf
    Pages 213-240

  16. Locating metric complements in ℝn

    • Douglas S. Bridges, Allan Calder, William Julian, Ray Mines, Fred Richman
    Pages 241-249

  17. A disjunctive decomposition theorem for classical theories

    • Joan Rand Moschovakis
    Pages 250-259

  18. Towards a constructive foundation for quantum mechanics

    • Douglas S. Bridges
    Pages 260-273

  19. About infinity, finiteness and finitization (in connection with the foundations of mathematics)

    • A. S. Yessenin-Volpin
    Pages 274-313

  20. A class of theorems with valid constructive counterparts

    • Michael Gelfond
    Pages 314-320
Back to top

Keywords

Bibliographic Information

  • Book Title: Constructive Mathematics

  • Book Subtitle: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

  • Editors: Fred Richman

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0090721

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10850-4Published: 01 August 1981

  • eBook ISBN: 978-3-540-38759-6Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: X, 350

  • Topics: Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation