Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum - Google Books

http://books.google.de/books?hl=en&lr=&id=la9AnQaldL0C&oi=fnd&pg=RA2-PA303&dq=peirce+continuum&ots=JbgH-oPukm&sig=aIzO-oAuLQiYkS

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,…