2007 |
18 | EE | Bernhard Banaschewski:
The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.
Applied Categorical Structures 15(5-6): 473-479 (2007) |
17 | EE | Bernhard Banaschewski:
The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.
Applied Categorical Structures 15(5-6): 481-482 (2007) |
2006 |
16 | EE | Bernhard Banaschewski,
Thierry Coquand,
Giovanni Sambin:
Preface.
Ann. Pure Appl. Logic 137(1-3): 1-2 (2006) |
15 | EE | Bernhard Banaschewski,
Christopher J. Mulvey:
A globalisation of the Gelfand duality theorem.
Ann. Pure Appl. Logic 137(1-3): 62-103 (2006) |
14 | EE | Bernhard Banaschewski,
Ales Pultr:
A General View of Approximation.
Applied Categorical Structures 14(2): 165-190 (2006) |
2005 |
13 | EE | Bernhard Banaschewski:
On the Function Ring Functor in Pointfree Topology.
Applied Categorical Structures 13(4): 305-328 (2005) |
12 | EE | Bernhard Banaschewski:
Excluded Middle versus Choice in a topos.
Math. Log. Q. 51(3): 282-284 (2005) |
11 | EE | Bernhard Banaschewski:
Integral Stone Rings.
Order 22(2): 185-190 (2005) |
2001 |
10 | EE | Bernhard Banaschewski:
The Axiom of Countable Choice and Pointfree Topology.
Applied Categorical Structures 9(3): 245-258 (2001) |
9 | EE | Bernhard Banaschewski,
Christopher Gilmour:
Realcompactness and the Cozero Part of a Frame.
Applied Categorical Structures 9(4): 395-417 (2001) |
8 | EE | Bernhard Banaschewski,
Ales Pultr:
Adjointness Aspects of the Down-Set Functor.
Applied Categorical Structures 9(4): 419-436 (2001) |
7 | EE | Bernhard Banaschewski:
f-Rings and the Stone-Weierstrass Theorem.
Order 18(2): 105-117 (2001) |
2000 |
6 | EE | Bernhard Banaschewski,
S. S. Hong:
Extension by Continuity in Pointfree Topology.
Applied Categorical Structures 8(3): 475-486 (2000) |
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 |
3 | EE | Bernhard 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) |