default search action
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: