Detailansicht

InhaltsangabeForeword. 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 using Brouwer's continuity principle; W. Veldman. Peirce and the continuum from a philosophical point of view; J. Zink.

Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999