dblp.uni-trier.dewww.uni-trier.de

Bernhard Banaschewski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
14EEBernhard Banaschewski: The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology. Applied Categorical Structures 15(5-6): 473-479 (2007)
13EEBernhard Banaschewski: The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology. Applied Categorical Structures 15(5-6): 481-482 (2007)
2006
12EEBernhard Banaschewski, Thierry Coquand, Giovanni Sambin: Preface. Ann. Pure Appl. Logic 137(1-3): 1-2 (2006)
11EEBernhard Banaschewski, Christopher J. Mulvey: A globalisation of the Gelfand duality theorem. Ann. Pure Appl. Logic 137(1-3): 62-103 (2006)
10EEBernhard Banaschewski, Ales Pultr: A General View of Approximation. Applied Categorical Structures 14(2): 165-190 (2006)
2005
9EEBernhard Banaschewski: On the Function Ring Functor in Pointfree Topology. Applied Categorical Structures 13(4): 305-328 (2005)
8EEBernhard Banaschewski: Excluded Middle versus Choice in a topos. Math. Log. Q. 51(3): 282-284 (2005)
7EEBernhard Banaschewski: Integral Stone Rings. Order 22(2): 185-190 (2005)
2001
6EEBernhard Banaschewski: f-Rings and the Stone-Weierstrass Theorem. Order 18(2): 105-117 (2001)
1998
5 Bernhard Banaschewski: Choice Principles and Compactness Conditions. Math. Log. Q. 44: 427-430 (1998)
1994
4 Bernhard Banaschewski: A New Proof that "Krull implies Zorn''. Math. Log. Q. 40: 478-480 (1994)
1993
3EEBernhard Banaschewski, Ales Pultr: Paracompactness revisited. Applied Categorical Structures 1(2): 181-190 (1993)
1990
2 Bernhard Banaschewski, Gregory H. Moore: The Dual Cantor-Bernstein Theorem and the Partition Principle. Notre Dame Journal of Formal Logic 31(3): 375-381 (1990)
1982
1 Bernhard Banaschewski, Evelyn Nelson: Completions of Partially Ordered Sets. SIAM J. Comput. 11(3): 521-528 (1982)

Coauthor Index

1Thierry Coquand [12]
2Gregory H. Moore [2]
3Christopher J. Mulvey [11]
4Evelyn Nelson [1]
5Ales Pultr [3] [10]
6Giovanni Sambin [12]

Colors in the list of coauthors

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)