Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings

Foreword.
Nonstandard construction of stable type Euclidean random field measures; S. Albeverio, Jiang-Lun Wu.
The continuum in smooth infinitesimal analysis; J.L. Bell.
Constructive unbounded operators; D. Bridges, H. Ishihara.
The points of (locally) compact regular formal topologies; G. Curi.
Embedding a linear subset of Beta(H) in the dual of its predual; L.V. Dediu.
Nonstandard analysis by means of ideal values of sequences; M. di Nasso.
Nilpotent infinitesimals and synthetic differential geometry in classical logic; P. Giordano.
On hyperfinite approximations of the field R; E.I. Gordon, O.A. Rezvova.
Various continuity properties in constructive analysis; H. Ishihara, R. Mines.
Loeb measures and Borel algebras; H.J. Keisler, Yeneng Sun.
On Brouwerian bar induction; B.A. Kushner.
Curt Schmieden's approach to infinitesimals. An eye-opener to the historiography of analysis; D. Laugwitz.
A sequent calculus for constructive ordered fields; S. Negri.
The Puritz order and its relationship to the Rudin-Keisler order; S.-A. Ng, H. Render.
Unifying constructive and nonstandard analysis; E. Palmgren.
Positive lattices; J. von Plato.
Constructive mathematics without choice; F. Richman.
Pointwise differentiability; F. Richman.
On Conway numbers and generalized real numbers; F. Rosemeier.
The constructive content of nonstandard measure existence proofs - is there any? D.A. Ross.
Kruskal's tree theorem in a constructive theory of inductive definitions; M. Seisenberger.
Real numbers and functions exhibited in dialogues; R. Taschner.
On the quantitative structure of Delta02; S.A. Terwijn.
Understanding and usingBrouwer's continuity principle; W. Veldman.
Peirce and the continuum from a philosophical point of view; J. Zink.