Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum

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