© 2001

Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum

Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999

  • Peter Schuster
  • Ulrich Berger
  • Horst Osswald

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Douglas Bridges, Hajime Ishihara
    Pages 25-37
  3. Evgenii I. Gordon, Olga A. Rezvova
    Pages 93-102
  4. Hajime Ishihara, Ray Mines
    Pages 103-110
  5. H. Jerome Keisler, Yeneng Sun
    Pages 111-117
  6. Boris A. Kushner
    Pages 119-126
  7. Detlef Laugwitz
    Pages 127-142
  8. Jan von Plato
    Pages 185-197
  9. Fred Richman
    Pages 199-205
  10. Fred Richman
    Pages 207-210
  11. Frank Rosemeier
    Pages 211-227

About this book


At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics – and to the current and future reunion of these seeming opposites.

Consisting of peer-reviewed research and survey articles written on the occasion of such an event, this volume offers views of the continuum from various standpoints. Including historical and philosophical issues, the topics of the contributions range from the foundations, the practice, and the applications of constructive and nonstandard mathematics, to the interplay of these areas and the development of a unified theory.


calculus differential equation logic measure proof sequent calculus set theory

Editors and affiliations

  • Peter Schuster
    • 1
  • Ulrich Berger
    • 2
  • Horst Osswald
    • 1
  1. 1.Ludwig-Maximilians-UniversitätMünchenGermany
  2. 2.University of WalesSwanseaUK

Bibliographic information

  • Book Title Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum
  • Book Subtitle Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
  • Editors Peter Schuster
    Ulrich Berger
    Horst Osswald
  • Series Title Synthese Library
  • DOI
  • Copyright Information Springer Science+Business Media B.V. 2001
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-1-4020-0152-9
  • Softcover ISBN 978-90-481-5885-0
  • eBook ISBN 978-94-015-9757-9
  • Edition Number 1
  • Number of Pages XIII, 329
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking