Annals of Pure and Applied Logic, Volume 137

Volume 137, Numbers 1-3, January 2006

• 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