Skip to main content
  • Conference proceedings
  • © 1981

Constructive Mathematics

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

Editors:

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

Buying options

eBook USD 44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight 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

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

    Pages N2-VII
  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. A constructive approach to classical mathematics

    • Jonathan P. Seldin
    Pages 105-110
  6. Reflections on Bishop's philosophy of mathematics

    • Nicolas D. Goodman
    Pages 135-145
  7. Independence of premisses and the free topos

    • J. Lambek, P. J. Scott
    Pages 191-207
  8. An intuitionistic infinitesimal calculus

    • Richard Vesley
    Pages 208-212
  9. Liberal constructive set theory

    • Newcomb Creenleaf
    Pages 213-240
  10. Locating metric complements in ℝn

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

Keywords

  • Algebra
  • Finite
  • Konstruktive Mathematik
  • Mathematics
  • calculus
  • ordinal
  • recursion
  • set theory
  • theorem

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

Buying options

eBook USD 44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight 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

Learn about institutional subscriptions