Geodesic
On pushing out frames
Commentationes Mathematicae Universitatis Carolinae, Tome 31 (1990) no. 1, pp. 13-21

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
Classification : 06D10, 06D99, 18B30, 54B30, 54D30, 54D99, 54H99 
Banaschewski, Bernhard. On pushing out frames. Commentationes Mathematicae Universitatis Carolinae, Tome 31 (1990) no. 1, pp. 13-21. http://geodesic.mathdoc.fr/item/CMUC_1990_31_1_a2/
@article{CMUC_1990_31_1_a2,
     author = {Banaschewski, Bernhard},
     title = {On pushing out frames},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {13--21},
     year = {1990},
     volume = {31},
     number = {1},
     mrnumber = {1056165},
     zbl = {0706.18003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1990_31_1_a2/}
}
TY  - JOUR
AU  - Banaschewski, Bernhard
TI  - On pushing out frames
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1990
SP  - 13
EP  - 21
VL  - 31
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1990_31_1_a2/
LA  - en
ID  - CMUC_1990_31_1_a2
ER  - 
%0 Journal Article
%A Banaschewski, Bernhard
%T On pushing out frames
%J Commentationes Mathematicae Universitatis Carolinae
%D 1990
%P 13-21
%V 31
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1990_31_1_a2/
%G en
%F CMUC_1990_31_1_a2

[1] B. Banaschewski: Another look at the localic Tychonoff theorem. Comm. Math. Univ. Carolinae 29 (1988), 647-656. | MR | Zbl

[2] R. Beuzer D. S. Macnab: Modal extensions of Heyting algebras. Colloq. Math. 41 (1979), 1-12. | MR

[3] P. T. Johnstone: Stone Spaces. Cambridge University Press 1982. | MR | Zbl

[4] A. Joyal M. Tierney: An extension of the Galois theory of Grothendieck. Amer. Math. Soc. Memoirs 319. American Mathematical Society 1984. | MR

[5] A. M. Pitts: Amalgamation and interpolation in the category of Heyting algebras. J. Pure Appl. Algebra 29 (1983), 155-165. | MR | Zbl

[6] H. Simmons: Spaces with Boolean assemblies. Colloq. Math. 43 (1980), 23-29. | MR | Zbl