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