Recherche et téléchargement d’archives de revues mathématiques numérisées

 
 
  Table des matières de ce fascicule | Article précédent | Article suivant
Kock, Anders; Reyes, Gonzalo
A note on frame distributions. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 40 no. 2 (1999), p. 127-140
Texte intégral djvu | pdf | Analyses MR 1697036 | Zbl 0934.18003

URL stable: http://www.numdam.org/item?id=CTGDC_1999__40_2_127_0

Bibliographie

[1] M. Bunge and J. Funk, Constructive Theory of the Lower Power Locale, Math. Struct. in Comp. Science 6 (1996), 69-83.  MR 1386115 |  Zbl 0849.18003
[2] M. Bunge and J. Funk, Spreads and the symmetric topos II, Journ. Pure Appl. Alg. 130 (1998), 49-84. Appl. Alg.  MR 1632807 |  Zbl 0924.18001
[3] M. Jibladze and P.T. Johnstone, The frame of fibrewise closed nuclei, Cahiers Top. Géom. Diff. Catégoriques 32 (1991), 99-112.
Numdam |  MR 1142684 |  Zbl 0762.06005
[4] P.T. Johnstone, Stone Spaces, Cambridge University Press 1982  MR 698074 |  Zbl 0499.54001
[5] P.T. Johnstone, A constructive 'closed subgroup theorem' for localic groups and groupoids, Cahiers Top. Géom. Diff. Catégoriques 30 (1989), 3-23.
Numdam |  MR 1000828 |  Zbl 0668.03028
[6] A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, Memoirs A.M.S. 309 (1984)  MR 756176 |  Zbl 0541.18002
[7] A. Kock and T. Plewe, Glueing analysis for complemented subtoposes, Theory and Appl. of Categories Vol. 2 No. 9 (1996).  MR 1416753 |  Zbl 0876.18001
[8] A. Kock and G.E. Reyes, Relatively Boolean and de Morgan Toposes and Locales, Cahiers Top. Géom. Diff. Catégoriques 35 (1994), 249-261.
Numdam |  MR 1295120 |  Zbl 0806.18002
[9] F.W. Lawvere, Measures on Toposes, Lectures given at the Workshop on Category Theoretic Methods in Geometry, Aarhus University 1983 (unpublished).
[10] F.W. Lawvere, Categories of space and quantity. In J. Echeverría, A. Ibarra, and T. Mormann (eds.). The Space of Mathematics. Berlin: de Gruyter 1992.  MR 1214608 |  Zbl 0846.18001
[11] D.S. Macnab, Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5.29.  MR 608645 |  Zbl 0459.06005
Copyright Cellule MathDoc 2014 | Crédit | Plan du site