Volume 137,
Numbers 1-3,
January 2006
Papers presented at the 2nd Workshop on Formal Topology (2WFTop 2002)
- Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin:
Preface.
1-2
- Peter Aczel:
Aspects of general topology in constructive set theory.
3-29
- Giulia Battilotti, Giovanni Sambin:
Pretopologies and a uniform presentation of sup-lattices, quantales and frames.
30-61
- Bernhard Banaschewski, Christopher J. Mulvey:
A globalisation of the Gelfand duality theorem.
62-103
- Anna Bucalo, Giuseppe Rosolini:
Completions, comonoids, and topological spaces.
104-125
- Giovanni Curi:
On the collection of points of a formal space.
126-146
- Martín Hötzel Escardó:
Compactly generated Hausdorff locales.
147-163
- Nicola Gambino:
Heyting-valued interpretations for Constructive Set Theory.
164-188
- Peter Hancock, Pierre Hyvernat:
Programming interfaces and basic topology.
189-239
- Peter T. Johnstone:
Complemented sublocales and open maps.
240-255
- Henri Lombardi:
Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert.
256-290
- Erik Palmgren:
Maximal and partial points in formal spaces.
291-298
- Erik Palmgren:
Regular universes and formal spaces.
299-316
- Peter Schuster:
Formal Zariski topology: Positivity and points.
317-359
- Michael B. Smyth:
The constructive maximal point space and partial metrizability.
360-379
- Bas Spitters:
Constructive algebraic integration theory.
380-390
- Christopher F. Townsend:
On the parallel between the suplattice and preframe approaches to locale theory.
391-412
- Steven J. Vickers:
Compactness in locales and in formal topology.
413-438
- Julian Webster:
Finite approximation of measure and integration.
439-449
Copyright © Fri Nov 27 18:57:55 2009
by Michael Ley (ley@uni-trier.de)