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.

Nonstandard construction of stable type Euclidean random field measures.- The continuum in smooth infinitesimal analysis.- Constructive unbounded operators.- The points of (locally) compact regular formal topologies.- Embedding a linear subset of ß(H) in the dual of its predual.- Nonstandard analysis by means of ideal values of sequences.- Nilpotent infinitesimals and synthetic differential geometry in classical logic.- On hyperfinite approximations of the field R.- Various continuity properties in constructive analysis.- Loeb measures and Borel algebras.- On Brouwerian bar induction.- Curt Schmieden’s approach to infinitesimals. An eye-opener to the historiography of analysis.- A sequent calculus for constructive ordered fields.- The Puritz order and its relationship to the Rudin-Keisler order.- Unifying constructive and nonstandard analysis.- Positive lattices.- Constructive mathematics without choice.- Pointwise differentiability.- On Conway numbers and generalized real numbers.- The constructive content of nonstandard measure existence proofs—is there any?.- Kruskal’s tree theorem in a constructive theory of inductive definitions.- Real numbers and functions exhibited in dialogues.- WIJN/On the quantitative structure of ?20.- Understanding and using Brouwer’s continuity principle.- Peirce and the continuum from a philosophical point of view.