Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 /

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

Full description

Bibliographic Details

Main Author:	Schuster, Peter
Corporate Author:	SpringerLink (Online service)
Other Authors:	Berger, Ulrich, Osswald, Horst
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2001.
Series:	Synthese library ; 306.
Subjects:	Mathematics. Logic. Global analysis (Mathematics) Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book