Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 / edited by Peter Schuster, Ulrich Berger, Horst Osswald.

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

Online Access:	Full Text (via Springer)
Main Author:	Schuster, Peter, 1966-
Other Authors:	Berger, Ulrich, Osswald, Horst
Other title:	Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999.
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2001.
Series:	Synthese library ; 306.
Subjects:	Mathematics. Logic. Global analysis (Mathematics) Logic, Symbolic and mathematical.