Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999 (Q5959193)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Albeverio, Sergio; Wu, Jiang-Lun}, Nonstandard construction of stable type Euclidean random field measures, 1-18 [Zbl 1009.28012] \textit{Bell, John L.}, The continuum in smooth infinitesimal analysis, 19-24 [Zbl 1017.03040] \textit{Bridges, Douglas; Ishihara, Hajime}, Constructive unbounded operators., 25-37 [Zbl 1076.47511] \textit{Curi, Giovanni}, The points of (locally) compact regular formal topologies, 39-54 [Zbl 1011.54001] \textit{Vîţă, Luminiţa}, Embedding a linear subset of \({\mathcal B}(H)\) in the dual of its predual., 55-61 [Zbl 1076.47512] \textit{Di Nasso, Mauro}, Nonstandard analysis by means of ideal values of sequences, 63-73 [Zbl 1010.03057] \textit{Giordano, Paolo}, Nilpotent infinitesimals and synthetic differential geometry in classical logic, 75-92 [Zbl 1022.03052] \textit{Gordon, Evgenii I.; Rezvova, Olga A.}, On hyperfinite approximations of the field \(R\), 93-102 [Zbl 1018.22003] \textit{Ishihara, Hajime; Mines, Ray}, Various continuity properties in constructive analysis., 103-110 [Zbl 1036.03049] \textit{Keisler, H. Jerome; Sun, Yeneng}, Loeb measures and Borel algebras, 111-117 [Zbl 1011.28011] \textit{Kushner, Boris A.}, On Brouwerian bar induction, 119-126 [Zbl 1019.03042] \textit{Laugwitz, Detlef}, Curt Schmieden's approach to infinitesimals. An eye-opener to the historiography of analysis, 127-142 [Zbl 1017.26022] \textit{Negri, Sara}, A sequent calculus for constructive ordered fields, 143-155 [Zbl 1010.03050] \textit{Ng, Siu-Ah; Render, Hermann}, The Puritz order and its relationship to the Rudin-Keisler order, 157-166 [Zbl 1014.03060] \textit{Palmgren, Erik}, Unifying constructive and nonstandard analysis, 167-183 [Zbl 1010.03058] \textit{von Plato, Jan}, Positive lattices., 185-197 [Zbl 1041.03051] \textit{Richman, Fred}, Constructive mathematics without choice., 199-205 [Zbl 1036.03052] \textit{Richman, Fred}, Pointwise differentiability, 207-210 [Zbl 1027.26027] \textit{Rosemeier, Frank}, On Conway numbers and generalized real numbers. Conway's theory of games and numbers constructively reconstructed, 211-227 [Zbl 1010.03051] \textit{Ross, David A.}, The constructive content of nonstandard measure existence proofs -- is there any?, 229-239 [Zbl 1012.28016] \textit{Seisenberger, Monika}, Kruskal's tree theorem in a constructive theory of inductive definitions, 241-255 [Zbl 1032.03053] \textit{Taschner, Rudolf}, Real numbers and functions exhibited in dialogues, 257-269 [Zbl 1019.03044] \textit{Terwijn, Sebastiaan A.}, On the quantitative structure of \(\Delta_2^0\), 271-283 [Zbl 1010.03028] \textit{Veldman, Wim}, Understanding and using Brouwer's continuity principle, 285-302 [Zbl 1019.03043] \textit{Zink, Julia}, Peirce and the continuum from a philosophical point of view., 303-316 [Zbl 1036.00005]