From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics 12–16 May 2003, San Servolo, Venice, Italy

List of participants and talks

Peter Aczel (University of Manchester, United Kingdom), General topology in constructive set theory.

Evi Aigner (Universität München, Deutschland), A finite dimensional approach to the Cameron-Martin space by methods of model theory.

Andrej Bauer (Univerza v Ljubljani, Slovenja), Countably based spaces in realizability models.

Josef Berger (Universität München, Deutschland)

Lars Birkedal (IT-Højskolen i København, Danmark)

Vasco Brattka (Universität Hagen, Deutschland), Computable graph theorems.

Douglas S. Bridges (University of Canterbury, Christchurch, New Zealand and Universität München, Deutschland), Recent work on the constructive theory of apartness spaces.

Carsten Butz (IT-Højskolen i København, Danmark)

Andrea Cantini (Università di Firenze, Italia), A footnote to a theorem of Intrigila and Statman: an application to Feferman’s explicit mathematics.

Jesper Carlström (Stockholms Universitet, Sverige), Descriptions in type theory.

Jeremy Clark (Paris, France), A constructive Schwarz reflection principle.

Giovanni Curi (Università di Siena, Italia)

Dave DeVidi (University of Waterloo, Canada), Choice principles and constructive logics. Pietro Di Gianantonio (Università di Udine, Italia) Roy Dyckhoff (University of St. Andrews, United Kingdom) Martín Escardó (University of Birmingham, United Kingdom), Imaginary locales. Nicola Gambino (University of Cambridge, United Kingdom), Wellfounded trees and analytic functors. Silvia Gebellato (Universität München, Deutschland) Guido Gherardi (Università di Bologna, Italia) Robin Havea (University of the South Pacific, Fiji) A constructive approach to Sinclair’s theorem. Rosalie Iemhoff (Technische Universität Wien, Österreich), Admissible rules of constructive theories. Hajime Ishihara (Japan Advanced Institute of Science and Technology), Constructive reverse mathematics. Gerhard Jäger (Universität Bern, Switzerland), Fixed points in admissible set theory and explicit mathematics. Felix Joachimski (Universität München, Deutschland) Martin Kübler (Universität München, Deutschland) Henri Lombardi (Université de Franche-Comté, Besançon, France), An example of deciphering a proof in abstract algebra. Dario Maguolo (Università di Venezia, Italia) Milly Maietti (Università di Padova, Italia), Exponentiation in formal topology. Per Martin-Löf (Stockholms Universitet, Sverige)

Rasmus Mögelberg (IT-Højskolen i København, Danmark) A category-theoretic model of Abadi-Plotkin’s logic for parametricity.

Sara Negri (Helsingin Yliopisto, Finland), Proof theory of lattice theory.

Horst Osswald (Universität München, Deutschland), Is infinite dimensional stochastic analysis equivalent to finite dimensional analysis?

Erik Palmgren (Uppsala Universitet, Sverige), Maximal and partial points in formal topology.

Dirk Pattinson (Universität München, Deutschland), Infinite objects in recursion theory.

Hervé Perdry (Université de Franche-Comté, Besançon, France and Universidad de Cantabria, España)

Jan von Plato (Helsingin Yliopisto, Finland), The duality of dependent types and degenerate cases.

Michael Rathjen (Ohio University, USA and University of Leeds, United Kingdom), Notions of realizability for constructive set theory.

Giuseppe Rosolini (Università di Genova, Italia), A category-theoretic analysis of formal topology.

Giovanni Sambin (Università di Padova, Italia), Developing mathematics predicatively: some benefits.

Helmut Schwichtenberg (Universität München, Deutschland) Witnesses in constructive analysis.

Monika Seisenberger (University of Wales Swansea, United Kingdom), On the constructive content of proofs.

Anton Setzer (University of Wales Swansea, United Kingdom), Final coalgebras and the μ-operator.

Alex Simpson (University of Edinburgh, United Kingdom), Some thoughts on constructive set theory.

Jan Smith (Chalmers Tekniska Högskola, Sverige) Giovanni Sommaruga (Université de Fribourg, Switzerland) Bas Spitters (Katholieke Universiteit Nijmegen, Nederlanden), Formalizing constructive mathematics. Dieter Spreen (Universität Siegen, Deutschland), On the effective continuity of effective multifunctions. Jack Stecher (University of Minnesota, USA), Formal topology and rational economic agents. Thomas Streicher (Technische Universität Darmstadt, Deutschland), Universes in toposes. Hiroki Takamura (Japan Advanced Institute of Science and Technology), A constructive version of the Gelfand Naimark Segal construction theorem. Silvio Valentini (Università di Padova, Italia) Wim Veldman (Katholieke Universiteit Nijmegen, Nederlanden) Steve Vickers (University of Birmingham, United Kingdom), Yet again: the Tychonoff theorem. Luminiţa S. Vîţă (University of Canterbury, Christchurch, New Zealand), Separatedness in apartness spaces. Klaus Weihrauch (Universität Hagen, Deutschland) Satoru Yoshida (Japan Advanced Institute of Science and Technology), The completion of the space D(R) in constructive analysis. Júlia Zappe (Universität München, Deutschland) Organisers Laura Crosilla (Universität München, Deutschland) Peter Schuster (Universität München, Deutschland)