Petr V. Andreyev
(Nizhnii Novgorod State University, Russia)
Definable standardness predicates in Internal Set Theory
John L. Bell (University of Western Ontario, Canada)
The continuum in smooth infinitesimal analysis
Nigel J. Cutland (University of Hull, England)
Constructive aspects of nonstandard methods in fluid mechanics
Luminita S. Dediu
(University of Canterbury, Christchurch, New Zealand)
Embedding a linear subset of B(H) in its predual
Paolo Giordano (Università di Novara, Italy)
Nilpotent infinitesimals and synthetic differential geometry in classical
logic
P.V.Andreyev and Evgenii I. Gordon
(Nizhnii Novgorod State University, Russia)
Mathematics in Hyperfinite Sets Theory
James Henle (Smith College, Northhampton, Massachusetts)
Non-nonstandard analysis: category, measure, and integration
Chris Impens (University of Gent, Belgium)
Some thoughts on nonstandard geometry
Mohamed Khalouani
(Université de Franche-Comté, Besançon, France)
Étude constructive de problemes de topologie pour les reels
irrationnels
M. Ali Khan
Modelling `negligibility' in mathematical
economics: an application of Loeb spaces
P. Ekkehard Kopp (University of Hull, England)
Hyperfinite discretisations and convergence in option
pricing models
Detlef Laugwitz (Technische Universität Darmstadt, Germany)
Curt Schmieden's approach to infinitesimals---an eye-opener to the
historiography of analysis
Xiaoai Lin (National University of Singapore)
On the almost independence of correspondences on Loeb space
Joan R. Moschovakis
(Occidental College, Los Angeles)
(University of Athens, Greece)
The intuitionistic continuum as an extension of the classical one
Mauro Di Nasso(Università di Pisa, Italy)
Hyperreals as Ideal Limits: an Elementary
Axiomatic Presentation of Nonstandard Analysis
Sara Negri (University of Helsinki, Finland)
On the proof theory of constructive ordered fields
Juha Oikkonen (University of Helsinki, Finland)
Some geometric ideas related to Brownian motion
Hervé Perdry
(Université de Franche-Comté, Besançon, France)
Computing in the constructive henselisation of a valued field
Jan von Plato (University of Helsinki, Finland)
The lattice of open intervals of the intuitionistic continuum
Herrmann Render (Universität Duisburg, Germany)
Borel measure extensions of measures defined on sub-$\sigma$-algebras
Fred Richman (Florida Atlantic University, Boca Raton)
Constructive mathematics without choice
Frank Rosemeier (Fernuniversität Hagen, Germany)
On Conway-numbers and generalized real numbers
David Ross (University of Hawaii)
The constructive content of nonstandard measure existence proofs:
is there any?
Monika Seisenberger (Universität München, Germany)
Kruskal's tree theorem in a constructive theory of inductive definitions
Peter Schuster (Universität München, Germany)
Elementary choiceless constructive analysis
Bas Spitters (Catholic University of Nijmegen, The Netherlands)
A constructive converse of the mean value theorem
Yeneng Sun (National University of Singapore, Singapore)
Asymptotic, Hyperfinite and Continuum Models
Rudolf Taschner (Technische Universität Wien, Austria)
Real numbers and functions, exhibited in dialogs
Sebastiaan Terwijn (Universität München, Germany)
Effective Measure Theory
Wim Veldman (Catholic University of Nijmegen, The Netherlands)
On some sets that are not positively Borel
Hans Vernaeve (University of Gent, Belgium)
Reducing distributions to hyperreal functions
Frank A. Waaldijk (Catholic University of Nijmegen, The Netherlands)
The hidden presence of the fan theorem in the constructive definition of
`continuous function on the continuum'
Manfred Wolff (Universität Tübingen, Germany)
Discrete approximation of unbounded operators and the
approximation of their spectra
Jiang-Lun Wu (Universität Bochum, Germany)
On hyperfinite integral representation of Euclidean random field measures
Julia Zink (Pontificia Università Gregoriana, Città del Vaticano)
Peirce and the continuum from a philosophical point of view