|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
22 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A globalisation of the Gelfand duality theorem |
Banaschewski, Bernhard |
2006 |
137 | 1-3 |
p. 62-103 42 p. |
artikel |
|
| 2 | Aspects of general topology in constructive set theory |
Aczel, Peter |
2006 |
137 | 1-3 |
p. 3-29 27 p. |
artikel |
|
| 3 | Author Index |
2006 |
137 | 1-3 |
p. 451-452 2 p. |
artikel |
||
| 4 | Compactly generated Hausdorff locales |
Escardó, Martín H. |
2006 |
137 | 1-3 |
p. 147-163 17 p. |
artikel |
|
| 5 | Compactness in locales and in formal topology |
Vickers, Steven |
2006 |
137 | 1-3 |
p. 413-438 26 p. |
artikel |
|
| 6 | Complemented sublocales and open maps |
Johnstone, P.T. |
2006 |
137 | 1-3 |
p. 240-255 16 p. |
artikel |
|
| 7 | Completions, comonoids, and topological spaces |
Bucalo, A. |
2006 |
137 | 1-3 |
p. 104-125 22 p. |
artikel |
|
| 8 | Constructive algebraic integration theory |
Spitters, Bas |
2006 |
137 | 1-3 |
p. 380-390 11 p. |
artikel |
|
| 9 | Contents |
2006 |
137 | 1-3 |
p. vii-viii nvt p. |
artikel |
||
| 10 | Editorial Board |
2006 |
137 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 11 | Finite approximation of measure and integration |
Webster, Julian |
2006 |
137 | 1-3 |
p. 439-449 11 p. |
artikel |
|
| 12 | Formal Zariski topology: Positivity and points |
Schuster, Peter |
2006 |
137 | 1-3 |
p. 317-359 43 p. |
artikel |
|
| 13 | Heyting-valued interpretations for Constructive Set Theory |
Gambino, Nicola |
2006 |
137 | 1-3 |
p. 164-188 25 p. |
artikel |
|
| 14 | Maximal and partial points in formal spaces |
Palmgren, Erik |
2006 |
137 | 1-3 |
p. 291-298 8 p. |
artikel |
|
| 15 | On the collection of points of a formal space |
Curi, Giovanni |
2006 |
137 | 1-3 |
p. 126-146 21 p. |
artikel |
|
| 16 | On the parallel between the suplattice and preframe approaches to locale theory |
Townsend, C.F. |
2006 |
137 | 1-3 |
p. 391-412 22 p. |
artikel |
|
| 17 | Preface |
Banaschewski, Bernhard |
2006 |
137 | 1-3 |
p. 1-2 2 p. |
artikel |
|
| 18 | Pretopologies and a uniform presentation of sup-lattices, quantales and frames |
Battilotti, Giulia |
2006 |
137 | 1-3 |
p. 30-61 32 p. |
artikel |
|
| 19 | Programming interfaces and basic topology |
Hancock, Peter |
2006 |
137 | 1-3 |
p. 189-239 51 p. |
artikel |
|
| 20 | Regular universes and formal spaces |
Palmgren, Erik |
2006 |
137 | 1-3 |
p. 299-316 18 p. |
artikel |
|
| 21 | Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert |
Lombardi, Henri |
2006 |
137 | 1-3 |
p. 256-290 35 p. |
artikel |
|
| 22 | The constructive maximal point space and partial metrizability |
Smyth, Michael B. |
2006 |
137 | 1-3 |
p. 360-379 20 p. |
artikel |
22 gevonden resultaten