| 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) |
